theorem Th86: :: POLYFORM:88

for p being polyhedron st p is simply-connected holds
p is eulerian