La circulation du champ magnétostatique le long d'une courbe orientée fermée
est égal à la somme algébrique des courants enlacés par ce contour.
Vérifions en calculant la circulation le long d'un cercle de rayon r enlaçant un fil infini parcouru par un courant d'intensité I :