P
Initializing...
A five-variable quadratic as four squares · Prove2Me