（1225）「フェルマーの最終定理」と「対偶（の関係性）」（Ⅱ）。

（01）
フライさんは手からチョークを払うため、両手をパンパンと叩きながら続けます。
「さて、よく見ると、この方程式は楕円曲線の形をしていることがおかかりでしょうか？
ということは、フェルマーの最終定理がなりたたないとすればこのよう楕円曲線が存在してしまうことを意味しますね」
「うわっ、たしかに！」
僕の横で聞いていたフライさんの学友が大きな声を上げました。
「で、この楕円曲線はあまりにも特異であるために、モジュラー形式にはならないんです」
「・・・ってことは・・・・・」
「そうです、あとはお察しの通リです」
（ざわざわざわ・・・）
「つまり、対偶の関係性によって、谷山＝志村予想が正しければフェルマーの最終定理も正しい・・・？」
（［小説］フェルマーの最終定理、日沖桜皮、2010年、１３８頁）
然るに、
（02）
数学において、谷山・志村予想（たにやましむらよそう、Taniyama–Shimura conjecture）は、「すべての有理数体上に定義された楕円曲線はモジュラーである」という主張であり、
アンドリュー・ワイルズとその弟子クリストフ・ブロイル、ブライアン・コンラッド、フレッド・ダイアモンド、リチャード・テイラーらによって証明された。
（ウィキペディア）
従って、
（01）（02）により、
（03）
（ⅰ）『「フェルマーの最終定理」が「マチガイ」であるならば、ある「モジュラーではない、楕円曲線」が存在する。』然るに、
（ⅱ）『「谷山＝志村予想」が「正しい」とすれば、「モジュラーではない、いかなる楕円曲線」も存在しない。』　　　従って、
（ⅲ）『「フェルマーの最終定理」が「マチガイ」であって、「谷山＝志村予想」が「正しい」といふことはない。』　　従って、
（ⅳ）『「谷山＝志村予想」が「正しく」て、「フェルマーの最終定理」が「マチガイ」であるといふことはない。』　　従って、
（ⅴ）『「谷山＝志村予想」が「正しい」ならば「フェルマーの最終定理（予想）」も「正しい」。』
然るに、
（04）
（ⅲ）
１（１）～（～Ｆ＆谷）　Ａ
１（２）～（谷＆～Ｆ）　１交換法則
（ⅳ）
１（１）～（谷＆～Ｆ）　Ａ
１（２）～（～Ｆ＆谷）　１交換法則
然るに、
（05）
（ⅳ）
１　　（１）～（谷＆～Ｆ）　　Ａ
　２　（２）　　谷　　　　　　Ａ
　　３（３）　　　　～Ｆ　　　Ａ
　２３（４）　　谷＆～Ｆ　　　２３＆Ｉ
１２３（５）～（谷＆～Ｆ）＆
　　　　　　　（谷＆～Ｆ）　　１４＆Ｉ
１２　（６）　　　～～Ｆ　　　３５ＲＡＡ
１２　（７）　　　　　Ｆ　　　６ＤＮ
１　　（８）　　谷→　Ｆ　　　２７ＣＰ
（ⅴ）
１　　（１）　　谷→　Ｆ　　　Ａ
　２　（２）　　谷＆～Ｆ　　　Ａ
　２　（３）　　谷　　　　　　２＆Ｅ
１２　（４）　　　　　Ｆ　　　１３ＭＰＰ
　２　（５）　　　　～Ｆ　　　２＆Ｅ
１２　（６）　　Ｆ＆～Ｆ　　　４５＆Ｉ
１　　（７）～（谷＆～Ｆ）　　２６ＲＡＡ
従って、
（03）（04）（05）により、
（06）
（ⅰ）『「フェルマーの最終定理」が「マチガイ」であるならば、ある「モジュラーではない、楕円曲線」が存在する。』然るに、
（ⅱ）『「谷山＝志村予想」が「正しい」とすれば、「モジュラーではない、いかなる楕円曲線」も存在しない。』　　　従って、
（ⅲ）『「フェルマーの最終定理」が「マチガイ」であって、「谷山＝志村予想」が「正しい」といふことはない。』　　従って、
（ⅳ）『「谷山＝志村予想」が「正しく」て、「フェルマーの最終定理」が「マチガイ」であるといふことはない。』　　従って、
（ⅴ）『「谷山＝志村予想」が「正しい」ならば「フェルマーの最終定理（予想）」も「正しい」。』
といふ「推論」は、「命題論理」として「正しい」。