Cauchy's theorem

Theorem
If f is holomorphic on a simply connected open set U and γ is a closed loop then

γf(z)dz=0

Proof
It uses a fundamental property of the Polya vector field.