Cauchy--Goursat theorem

Coming from complex integration.
Theorem
If f is holomorphic function 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.

Visualization

Coming from complex integration#Visualization. For the function f(z)=1/z see @Needham1997Visual page 391. Also, it is shown why

C1zdz=2πi