P
Initializing...
Which letter may follow the shield: $(0,1,6,3,x)$ is tree-safe iff $x\equiv2$ (mod 4) or $x=4$ · Prove2Me