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.