theorem Th27: :: POLYFORM:29

for p being polyhedron
for k being Integer holds rng (k -polytope-seq p) = k -polytopes p