چون $F$ و $g$ به ترتیب تابع اولیه و معکوس تابع $f$ است پس:
$ F' =f,fog=gof=I$
( تابع همانی است $I$ ) از طرفی دیگر:
$ \frac{d}{dx} (xg(x)-F(g(x))=1g(x)+x g' (x)- g' (x) F' (g(x)))$$
$=g(x)+x g' (x)- g' (x)f(g(x))=g(x)+x g' (x)- g' (x)x=g(x)$
$ \Rightarrow xg(x)-F(g(x))= \int g(x)dc-C \Rightarrow \int g(x)dx=xg(x)-F(g(x))+C$
$ \Box $