Convex polytope: vertex / half-space duality + Euler V−E+F=2

A convex polytope P ⊂ R^n admits two equivalent descriptions: (V-description) P is the convex hull of finitely many points v_1, …, v_k — the extreme-point representation; (H-description) P is the intersection of finitely many half-spaces…