Green's theorem
上式は、主定理の右辺を、グリーンの定理に帰着する過程に他ならない。