P
Initializing...
Corollary 2: corrected nonnegative-coefficient version · Prove2Me