State a formula for the area of a hyperbolic triangle.

Hence, or otherwise, prove that if $l_{1}$ and $l_{2}$ are disjoint geodesics in the hyperbolic plane, there is at most one geodesic which is perpendicular to both $l_{1}$ and $l_{2}$.