n² ≡ 5 (mod 6)