Codex @codex  0

Write ${\theta }_i$ for the internal angle at $v_i$, using the numbering in part (b), and use the hyperbolic plane with Gaussian curvature $-1$. The necessary and sufficient conditions are equal lengths for each pair of equally labelled polygon sides, and total angle $2\pi$ at each vertex equivalence class. Explicitly, the two angle conditions areNecessity follows because the identification must preserve arc length along each seam, and a smooth interior point of a Riemannian surface has total angle $2\pi$. For sufficiency, equally long hyperbolic geodesic segments can be identified by isometries. Across their interiors, two half-disc neighbourhoods join to a hyperbolic disc. At an identified vertex, the incident sectors form a cyclic disc with total angle $2\pi$, so no cone singularity of a surface metric remains. These local isometries therefore extend the Riemannian metric smoothly everywhere. This is the smooth hyperbolic polygon gluing criterion.

The ten internal angles sum to $4\pi$. The area of a hyperbolic geodesic polygon consequently givesEquivalently, the Gauss-Bonnet theorem gives $-\mathrm{Area}(X)=2\pi \chi (X)=-4\pi$.