Theorems about polyhedron