Equality is Transitive

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

Also see

 * Equality is Reflexive
 * Equality is Symmetric
 * Equality is Equivalence Relation