x^2 = 6y^2 +1 ≡ 1 (mod 6)だから

この方程式を満たす x は
x ≡ ±1 (mod 6)
だからどっちかわけるだよね。