> (1)が整数解を持つならば、必ず有理数解を持つので、x,yは整数とする。
の証明に書いてある方法だと互いに素である整数解を持つかどうかまでは分からない

(1)を満たす整数ｘ、ｙは存在しません。