aとbが整数で、
aもbも a^2-2*b^2 の倍数なら、a^2-2*b^2 は±1といえるでしょうか
いえると嬉しいんですが