for p being polyhedron st p is simply-connected holds
dim (((dim p) - 1) -circuit-space p) = 1