x,y,m,n が自然数のとき
x^m-y^n=1 or -1　を満たすのは x=3,m=2,y=2 ,n=3 しかないってのは本当？