theorem Th85: :: POLYFORM:87

for p being polyhedron st dim p = 0 holds
p is eulerian