P
Initializing...
Lemma 4, proof — zero quadratic-program minimum implies Axiom 6 · Prove2Me