P
Initializing...
Lemma 10 (as quoted in the proof of Theorem 7) — the polyhedron ℋ is bounded · Prove2Me