For a tamely totally ramified extension of degree of a local field with residue field , the unit norms are exactly the principal units. Reduction sends a unit norm to its st power, and the norm-unit index in an abelian local extension shows that this containment has the correct index.