P
Initializing...
A six-variable quadratic difference bound · Prove2Me