>日高の示したのは、
「x^p+y^p=z^pは、自然数解を持たない①」ではない。
「xが有理数で、rが無理数ならば、x^p+y^p=z^pは、自然数解を持たない②」に過ぎない。

言うまでもなく、②から①を証明することはできない。

rが有理数の場合も、Zは、有理数となりません。
(863の証明)