hyperbolic tetrahedron