P
Initializing...
Lemma 8, p. 22 — if M(p, q, r) ⪰ 0 and q ≤ 0, then p ≥ −√3/2 · Prove2Me