En estos trabajos por primera vez se establecen resultados de modularidad a partir de modularidad residual, por lo cual los resultados del tipo de los probados por Wiles y Taylor son denominados "Teoremas de Levantamiento Modular".