<div class="dem">  Considrons la primitive  \(H) de  \(g) qui s'annule en  \(a) :
<center>\( H(x)=\int_{a}^{x} g(u)\; du )</center>
On peut crire  \(G=H\circ\varphi). Le thorme de drivation des fonctions composes donne : <center>\( G'=\varphi'.(H'\circ\varphi). )</center>
 On obtient le rsultat annonc puisque la drive de  \(H) est  \(g) (car  \(g) est continue).
</div>