P
Initializing...
A symmetric quartic expression is nonnegative · Prove2Me