Triangle Angle Sum Theorem Definition