Substitution Property of Equality

Theorem
Let $\map F z$ be an expression of the variable $z$.

Then:
 * $\forall x, y: x = y \implies \map F x = \map F y$.