Equality is Symmetric

Theorem
Equality is symmetric.

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