Una prueba más simple del teorema de Mazur-Wiles puede ser obtenida utilizando los sistemas de Euler como lo desarrolló Kolyvagin (ver libro de Washington).