やさしいフェルマーの最終定理の証明�V

>270
定義は証明の中に書け

証明の中で、z=x+rとしています。