theorem Th29: :: POLYFORM:31

for p being polyhedron holds num-polytopes (p,(dim p)) = 1