theorem Th59: :: POLYFORM:61

for p being polyhedron
for x being Element of 0 -polytopes p holds (0 -boundary p) . {x} = {{}}