Premis: Pada 1984, Gerhard Frey mengamati suatu hubungan antara persamaan Fermat dan Konjektur Taniyama-Shimura-Weil (sekarang bernama teorema modularitas).
Hipotesis: Gerhard Frey melakukan penelitian yang berhubungan dengan persamaan Fermat dan teorema modularitas.
Label: entailment