theorem Th75: :: POLYFORM:77

for p being polyhedron holds (dim p) -boundary p is one-to-one