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

Which property is shown?

reflexive property
substitution property
symmetric property
transitive property