What is the substitution property?
The substitution property is probably one of the most intuitive of the mathematical properties.
You have probably been using substitution without even knowing it.