>日高証明からはx=1,y=0以外の実数解が存在しないことが導かれる

私の証明からは、x=1,y=0以外の有理数解が存在しないことが導かれます。