Girard's theorem is a result in spherical geometry that relates the area of a spherical triangle to its angular excess, which is the amount by which the sum of its angles exceeds 180 degrees. This theorem highlights the intrinsic curvature of spherical surfaces, distinguishing them from flat, Euclidean ones where the sum of triangle angles is always 180 degrees.