P
Initializing...
A quartic bound for a symmetric quadratic difference · Prove2Me