Teorema monyet tak terhingga
Untuk teorema ke dua, misalkan "E" adalah kejadian bahwa untai ke-"k" dimulai dengan teks yang diberikan. Karena ia memiliki probabilitas "p" bukan nol yang tetap, "E"-nya adalah independen, dan penjumlahan di bawah ini divergen,
probabilitas bahwa takhingga banyaknya "E" yang terjadi adalah 1. Teorema pertama ditunjukkan dengan cara yang sama; seseorang dapat membagi untai acak menjadi beberapa blok yang tidak saling tumpang tindih dan menentukan ukuran blok ini dengan ukuran teks yang diinginkan, menjadikan kejadian "E" sebagai kejadian di mana blok ke-"k" sama dengan untai yang diinginkan.
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.