>294
>>292日高が正しいなら（たぶん）次も正しい。
【定理】pが奇素数のとき、x^p+7y^p=z^pは、0を除く有理数の解を持たない。

反例はp=3,x=y=1,z=2。

式が、違います。