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