hyperbolic polyhedron