theorem Th31: :: POLYFORM:33

for p being polyhedron
for k being Integer holds k -polytope-seq p is one-to-one