フェルマーの最終定理に反例x^p+y^p=z^pがあったとする。明らかにx=y=1ではない。
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}から
1=x^(p-1)-x^(p-2)y+…+y^(p-1)としてしまうとx=y=1に話を制限したことになる。