theorem Th69: :: POLYFORM:71

for p being polyhedron holds 1 -th-polytope (p,(dim p)) = p