Stokes' theorem
which can be rewritten using Stokes' theorem and an elementary vector identity on the first and second term, respectively, to give