 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.