>421
君、何言ってるの？
x^p+7y^p=z^pに非自明な有理数解はない、が定理の主張だよ。

訂正します。
x,y,zは、整数比となる無理数でも、最初の式を満たします。