Harriot's theorem

Harriot’s 1603 result on the sphere: the angular excess of a triangle is the Gaussian curvature times the area, which we may think of as the total amount of curvature residing within the triangle.

It is also valid for geodesic $n$-gons on a sphere:

where $R$ is the radius fo the sphere.