Solution
= Solution
Using $\nabla|x-x\prime|^{-1}=-\nabla\prime|x-x\prime|^{-1}$, the divergence is a line <integral> of a total <derivative>, zero for a closed wire or suitable vanishing endpoints. Taking the curl and moving it under the <integral> gives the stated Biot–Savart formula.