Introduction to u-substitution