On utilise ici la \doc{module=U2/analysis/docfield&doc=1&+block=greenthm}{formule de Green}
<ul><li>Le rotationnel de \( F ) est nul. </li>
<li> On considre le domaine reprsent sur le dessin  en rouge : 
On a 
<p> <center>\( 0=\int\!\! \int_{\mathcal D} {\rm rot} F  dA  = \int_{\partial {\mathcal D} } F\cdot dM   )</center></p>
</li>
<li> La courbe \calC = \partial\calD = \(BACD) est forme de \calC, de \(c(a)) parcourue dans le sens oppos et des deux segments \(BA) et \(CD). 
La circulation de \(F) sur les segments est nulle car sur ces segments ports par \(OM), \(F(M)) est perpendiculaire au vecteur tangent. 
On en dduit le thorme. 
</li></ul>
</div>