P
Initializing...
A quartic and squared-sum bound in four variables · Prove2Me