x^2 + y^2 \equiv 2 (mod 3)