Cauchy Integral Theorem

A fundamental theorem in complex analysis stating that the contour integral of a holomorphic function around any closed curve in a simply connected region is zero, equivalently holomorphic functions have path-independent integrals and local antiderivatives.