Wiles pudo demostrar el último teorema de Fermat a partir de la conexión, esbozada por Frey, y demostrada por Ken Ribet en 1985, de que una demostración de la llamada conjetura de Taniyama-Shimura conduciría directamente a una demostración del último teorema de Fermat.