Iwasawa exhibited "T""p"("K") as a module over the completion Z"p""T" and this implies a formula for the exponent of "p" in the order of the class groups "C""m" of the form The Ferrero–Washington theorem states that μ is zero.