Green's theorem
Second stepの結果と、Third stepの結果をグリーンの定理に代入すると、主定理が得られる。