Area of a hyperbolic geodesic polygon

In the curvature-minus-one Poincaré half-plane model, a geodesic polygon with $n$ sides and interior angles ${\alpha }_1,\dots ,{\alpha }_n$ has areaThis is the polygonal Gauss-Bonnet theorem.