If m∠A = m∠B and m∠A + m∠C = m∠D, then
m∠B + m∠C = m∠D.

Which property is shown?

reflexive property
substitution property
symmetric property
transitive property