Substitution

The chain rule run backwards: spotting the inside function, and accounting for every last dx.