アンドリュー・ワイルズ
Ribet's methods were pushed further by Barry Mazur and Andrew Wiles in order to prove the main conjecture of Iwasawa theory, a corollary of which is a strengthening of the Herbrand–Ribet theorem: the power of "p" dividing "B""p"−"n" is exactly the power of "p" dividing the order of "G""n".