"If AC=DF, then DF=AC" Symmetric Reflexive Transitive Substitution
You can ask a new question or answer this question.