Equality is Transitive

Theorem
Equality is transitive:
 * $\forall a, b, c: \paren {a = b} \land \paren {b = c} \implies a = c$