Sustituyendo formula_6 y aplicando identidad de rotacional tenemos: