>757
【定理】n≧3のとき、x^n+y^n=z^nは日高自然数解を持たない。

日高自然数解とは?