Example for u-substitution