P
Initializing...
Theorem (P), p. 126 — the vertices of the polyhedron C are exactly the matching vectors of G · Prove2Me