Let be an Odd Prime and the Cyclotomic Field of th Roots of unity over the rational
Field. Now let be the Power of which divides the Class Number of . Then there
and such that
Johnson, W. ``Irregular Primes and Cyclotomic Invariants.'' Math. Comput. 29, 113-120, 1975.