La primera demostración de Mazur de este teorema requirió un análisis completo de los puntos racionales de unas ciertas curvas modulares.