:: deftheorem defines -bounding-chains POLYFORM:def 22 :
for p being polyhedron
for k being Integer holds k -bounding-chains p = [#] (k -bounding-chain-space p);