Lemma

Ha $f$ egy primitív függvénye $F$, akkor $\int f(g(x))g'(x) dx=F(g(x))$, amit formálisan úgy alkalmazhatunk, hogy $g(x)$ helyébe egy új változót, mondjuk $y$-t helyettesítünk, $g'(x)dx$ helyébe pedig $dy$-t, azaz:

$$\int f(g(x))g'(x) dx=\int f(y)dy=F(y)$$