P
Initializing...
A sextic and quadratic product bounds a mixed quartic square · Prove2Me