It was proved by Mazur & Wiles (1984) as a corollary of their work on the main conjecture of Iwasawa theory.
Den bevisades av Mazur & Wiles (1984) som ett korollarium av deras arbete om huvudförmodan inom Iwasawateori.