グリーンの定理
Essentially, the vector derivative is defined so that the GA version of Green's theorem is true,