(1)が有理数解を持つならば、必ず整数解を持つので、x,yは整数とする。
これが、間違いだという証明はできますか？