P
Initializing...
A quartic bound under a unit quadratic norm · Prove2Me