Triangle Angle-Sum Theorem