Substitution Postulate

A postulate is a statement that is assumed true without proof.

 Let $\;a\;$ , $\;b\;$ and $\;c\;$ be real numbers.

• If $\;a = b\;$ , then $\;a\;$ can be substituted for $\;b\;$ in any expression.