Estas demostraciones fueron basadas en la demostración de Ken Ribet del teorema de Herbrand alternativo (llamado teorema de Herbrand-Ribet).