>539
∴pが奇素数のとき、x^p+7y^p=z^pは、0を除く有理数の解を持たない。
反例はp=3,x=y=1,z=2。(3)の無理数解x=y=√3,z=2√3がこれに対応する。　

式が、違います。