P
Initializing...
A cubic-sum bound for variables of sum three · Prove2Me