Green's theorem
Fourth step of the proof (reduction to Green's theorem).