Addition postulate example. Substitution Property of Equality 6.