Let o be the ring of integers of a non-Archimedean local field such that the residue field has characteristic p: Let p be the maximal ideal of o: For Char¹oº = 0; let e be the ramification index of o: i.e., 2o = pe: Let ...