If this the multiplication property of equality of the substitution property? Thank you for your help.
You can ask a new question or answer this question.