P
Initializing...
Solvability of $x^2+x+1\equiv 0 \pmod p$ implies $p\equiv 1 \pmod 6$; infinitely many primes $6k+1$ · Prove2Me