Equality is Transitive

Theorem
Equality is transitive.

That is:
 * $\forall a, b, c: \left({a = b}\right) \land \left({b = c}\right) \implies a = c$