:: deftheorem defines -chains POLYFORM:def 15 :
for p being polyhedron
for k being Integer holds k -chains p = bool (k -polytopes p);