X^2 ≡ 2 mod2 の整数解。