Strictly speaking, none of these figures are triangles in hyperbolic geometry; however, ideal triangles are useful for proving that, given r∈ℝrℝr\in\mathbb{R} with 0<r<π0rπ0<r<\pi, there is a triangle in hyperbolic geometry whose angle sum in radians is equal to rrr.