P
Initializing...
A positive sum rules out three negative summands · Prove2Me