Mazur y Wiles habían trabajado previamente juntos en la conjetura principal de la teoría de Iwasawa.