theorem Th64: :: POLYFORM:66

for p being polyhedron holds not ((dim p) - 1) -polytopes p is empty