コーシーの積分定理
ここで、正則関数であればコーシー・リーマンの関係式が成立するので、実部と虚部の項が0になる。
コーシーの積分定理は、20 世紀にエドゥアール・グールサ(英語版)によって導関数の連続性の仮定無しに証明された。