Mazur y de resultados de Langlands y Tunnell y desarrollando lo que hoy se conocen como Teoremas de Levantamiento Modular 1995.