ported Empty_Polyhedron.