>857
有理数解x=a/3,y=b/3 (a,bは自然数, a,b,3は互いに素)を持つかどうか分からない
から証明は間違っている

よくわかりません。