Iwasawa & Sims (1966) used a computer to check that it vanishes for the cyclotomic Zp-extension of the rationals for all primes less than 4000.
Iwasawa & Sims (1966) använde en dator till att kontrollera den försvinner för cyklotomiska Zp-utvidgningar av rationella talen för alla primtal mindre än 4000.