P
Initializing...
Lemma 4 — Axiom 6 iff the quadratic-program minimum is zero · Prove2Me