Sibley Theorem 3.3.3 -- Illustration
Here we see how to construct a Saccheri quadrilateral from a given triangle ABC, by constructing midpoints for two sides and dropping perpendiculars to the line formed by the midpoints. Ultimately, the angle sum from triangle ABC is equal to the sum of the summit angles of the Saccheri quadrilateral GHCB.