:: deftheorem defines simply-connected POLYFORM:def 25 :
for p being polyhedron holds
( p is simply-connected iff for k being Integer holds k -circuits p = k -bounding-chains p );