Stokes' theorem
Stokes' theorem has been used for the 3rd equality step.