P
Initializing...
Squares can hide distinct residues modulo three · Prove2Me