P
Initializing...
A sixth-power bound for three mixed quadratic factors · Prove2Me