theorem Th52: :: POLYFORM:54

for p being polyhedron holds not 0 -polytopes p is empty