証明指針

証明せよ。
【nが3以上の整数の時、x^n+y^n=z^nを満たす自然数の組(x,y,z)は存在しない】

「ほう…」
長老猫が呟く。他数匹の猫達も、狭い額を突き合わせ、その「問」が記された用紙を睨んでいた。

「永きに渡り、人間達の前に君臨していた数術の問らしいです」
問題を咥えてきた一匹の青年猫が呟く。

「なるほど…」
他、数名の学者猫達も唸る。

今、ここに、人間 VS 猫の静かな戦いが幕を開けた。

そして幕が開いて数時間後。

「あ」
一匹の数学者猫の声。
「これ、nをマタタビに変換することで導出できませんか？」

ん…？という学者猫達の声。

「…あぁ、確かにそれで道筋立てられるかもしれん」
植物学者猫を筆頭に他の猫たちも深く頷く。
「見えてきたな…証明可能性」

我らをメロメロにも出来ちゃうし、難解定理の証明指針にもなれる。
やはり、マタタビは凄い。ますます惚れ込む次第。