グリーンの定理
Fourth step of the proof (reduction to Green's theorem).