Substitution means replacing a variable with a number or another expression. If and , you substitute for to get .
This is how you verify solutions. If you think solves , substitute and check: . It works.
In algorithm analysis, you substitute input size into time complexity formulas to estimate runtime. If , then operations.