:: deftheorem defines -bounding-circuits POLYFORM:def 24 :
for p being polyhedron
for k being Integer holds k -bounding-circuits p = [#] (k -bounding-circuit-space p);