Equality is Symmetric

Theorem
Equality is symmetric.

That is:


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