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