a,bを整数、pを素数とする。
もし、abがpで割り切れれば、a,bの少なくとも1つがpで割り切れる。

これを使うと、ｘ^2-y^2がpで割り切れるので、x-yかx+yがpで割り切れる。
よって、x=y または　x+y=p。
ｘ^2-y^2は2でも割り切れるので、x+y=pはありえない。
よって、x=y。