 Hyperbolic polygon area

For a geodesic hyperbolic $n$-gon of curvature $-1$ with interior angles ${\alpha }_1,\dots ,{\alpha }_n$, triangulation or the Gauss--Bonnet theorem gives