Sljedeći teorem je poopćenje Newton-Leibnitzove formule [M2, poglavlje 2.2] na dvodimenzionalni slučaj.
dvije diferencijabilne funkcije, pri čemu je otvoren skup (bez ruba). Neka je pozitivno orijentirana po djelovima glatka krivulja i neka je unija krivulje i unurašnjeg područja kojeg ta krivulja omeđuje (vidi sliku 2.9). Tada je
Greenov teorem vrijedi i u području s "rupama" (slika 2.10), pri čemu sve krivulje moraju biti negativno orijentirane:
gdje je rub trokuta s vrhovima , i (slika 2.11).
Prema Greenovom teoremu vrijedi
Greenovu formulu možemo još pisati i kao