解析関数が局所的に原始関数をもつことは
定義から明らか
したがって、解析関数に対してはコーシーの積分定理は
原始関数の一価性を保証する位相的な命題と等価である