Statement:
The measure of the angle must equal the sum of the measures of the remote angles.

Justification:
m∠ACB = 180 − (m∠A + m∠B) and m∠ACB = 180 − m∠ACD,

so m∠ACD = m∠ACD = m∠ + m∠ .