Stokes' theorem
From Stokes' theorem and using the relations formula_84 we have