P
Initializing...
Corollary 1: evaluation along every successive binary partition · Prove2Me