The given statement is
[tex]AC=AB+BC\rightarrow AC=BD,then,AB+BC=BD[/tex]As you can observe, the observe, we made a substitution. However, the exact property used here is the transitive property of equalities, that's the property responsible for the substitution in mathematics.