Information: sum of the angles of a hyperbolic triangle using soundmanbrad's tools