See also: Substitution property of equality, Reflexive property of equality, Transitive property of equality
... of any field whose characteristic is not 2. (In a field of characteristic 2, the element 2a is zero and it is impossible to divide by it.) The symbol <math>\pm ...