>221
pが奇素数のとき、x^p+7y^p=z^pは、自然数解を持たない。
は、
反例1^3+7*1^3=2^3が存在するので、
間違いということに、なりますね。