Equality is Symmetric

Theorem
Equality is symmetric.

That is:
 * $\forall a, b: a = b \implies b = a$

Also see

 * Equality is Reflexive
 * Equality is Transitive
 * Equality is Equivalence Relation