Algebra I #2.10c, Reflexive, Symmetric, Transitive Properties of Equality