Angle Sum Property - Angles in a right triangle