Una demostración más simple del aporte de Ribet al teorema de Herbrand se puede consultar en el libro de Washington.