Fermat's Last Theorem
1637年に書き表されたフェルマーの最終定理は以下を満たす3つの自然数 "a", "b", "c" が存在しないことを述べている。