斯托克斯定理
Stokes' theorem has been used for the 3rd equality step.