Premis: Sekitar 1955, matematikawan Jepang Goro Shimura dan Yutaka Taniyama mengamati kemungkinan hubungan antara dua bidang berbeda dalam matematika, yaitu kurva eliptik dan bentuk modular.
Hipotesis: Goro Shimura dan Yutaka Taniyama ahli dalam bidang matematika.
Label: entailment