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