P
Initializing...
A product bound for variables of sum two · Prove2Me