P
Initializing...
A quadratic difference bounds a weighted linear square · Prove2Me