P
Initializing...
Every $t\equiv 3 \pmod 4$ can be appended to $(0,1,-1)$ · Prove2Me