n=2の場合に互いに素な整数解を持たない場合があればn=3の証明は間違いになる

どうしてでしょうか?