post: Add small proof on the convexity of polyhedra.