「x^n+y^n=(y+1)^nが整数解を持つならばx^n+y^n=(y+3)^nやx^n+y^n=(y+4)^nも互いに素な整数解を持つ」
が
n=2のときに成立していない

は理解できてるかな