Teorema monyet tak terhingga
Teorema monyet takhingga (Bahasa Inggris: Infinite monkey theorem) menyatakan bahwa seekor monyet yang secara acak menekan tombol-tombol pada sebuah mesin tik untuk lama waktu tak hingga akan hampir pasti dapat mengetik sebuah teks yang diberikan, misalnya karya William Shakespeare.
Teorema Terakhir Fermat
Mengikuti strategi ini, sebuah bukti Teorema Terakhir Fermat membutuhkan dua langkah. Pertama, membuktikan teorema modularitas, setidaknya untuk kurva eliptik semistabil. Kedua, menunjukkan bahwa dugaan Frey benar: jika suatu kurva eliptik dibuat dengan cara ini, dengan bilangan-bilangan yang merupakan solusi persamaan Fermat, maka kurva eliptik yang dihasilkan tidak modular. Hal ini disebut "konjektur epsilon" (Inggris: "epsilon conjecture"). Pada 1986, konjektur ini dibuktikan oleh Ken Ribet, dan sekarang disebut sebagai Teorema Ribet (Inggris: "Ribet's theorem").
Setelah mendengar keberhasilan Ribet membuktikan Teorema Ribet, Andrew Wiles, seorang matemtikawan Inggris, memutuskan untuk menyelesaikan langkah berikutnya: membuktikan teorema modularitas untuk kurva eliptik semistabil.