for p being polyhedron holds not 0 -polytopes p is empty