Contour Integral of Closed Contour Split into Two Contours

Theorem
Let $f: D \to \C$ be a continuous complex function, where $D$ is a connected domain.

Let $C = \sequence {C_1, \ldots, C_n}$ be a closed contour in $D$.

Let $C'$ be a contour in $D$ with start point $z_1$ and end point $z_2$.

Let $-C'$ denote the reversed contour of $C'$.

Suppose:
 * $z_1$ is equal to the end point of $C_{k_1}$

and:
 * $z_2$ is equal to the end point of $C_{k_2}$ for some $k_1, k_2 \in \set {1, 2, \ldots, n}$ with $k_1 < k_2$.

Define two contours $C^{\paren 1}, C^{\paren 2}$ by concatenation as


 * $C^{\paren 1} = \sequence {C_1, \ldots, C_{k_1}, C', C_{k_2 + 1}, \ldots, C_n}$
 * $C^{\paren 2} = \sequence {C_{k_1 + 1}, \ldots, C_{k_2}, -C'}$

Then:


 * $\ds \oint_C \map f z \rd z = \oint_{C^{\paren 1} } \map f z \rd z + \oint_{C^{\paren 2} } \map f z \rd z$

Proof
By definition of closed contour, $C^{\paren 1}$ and $C^{\paren 2}$ are closed contours.

Then: