theorem Th28: :: POLYFORM:30

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