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