>339
「x^p+y^p=z^pを満たす3つの有理数s、t、uが、存在しない」は最終的に証明しようとしている命題だろう。

「x^p+y^p=z^pを満たす3つの有理数s、t、uが、存在しない」は(3)で、証明済です。