 The above implies that there is an equivalence of categories between the finite unramified extensions of a local field "K" and finite separable extensions of the residue field of "K".Again, let formula_1 be a finite Galois extension of nonarchimedean local fields with finite residue fields formula_17 and Galois group formula_3.The following are equivalent.