Premis: Pada 1984, Gerhard Frey mengamati suatu hubungan antara persamaan Fermat dan Konjektur Taniyama-Shimura-Weil (sekarang bernama teorema modularitas).
Hipotesis: Gerhard Frey mengamati suatu hubungan antara persamaan Fermat dan Konjektur Taniyama-Shimura-Weil sebelum tahun 1990.
Label: entailment