 Let formula_1 be a finite Galois extension of nonarchimedean local fields with finite residue fields formula_2 and Galois group formula_3.Then the following are equivalent.When formula_1 is unramified, by (iv) (or (iii)), "G" can be identified with formula_15, which is finite cyclic.