The idea that if a = b, then a may be replaced by b in any mathematical or algebraic expression.
If x = 3, then use 3 instead, its part of the substitution property.
Random
Random