Triangle Angle Sum Theorem