for p being polyhedron holds num-polytopes (p,(dim p)) = 1