ストークスの定理
Stokes' theorem has been used for the 3rd equality step.