Concatenation of Contours is Contour

Theorem
Let $C$ and $D$ be contours.

That is, $C$ is a finite sequence of directed smooth curves $C_1, \ldots, C_n$.

Let $C_i$ be parameterized by the smooth path $\gamma_i: \closedint {a_i} {b_i} \to \C$ for all $i \in \set {1, \ldots, n}$.

Similarly, $D$ is a finite sequence of directed smooth curves $D_1, \ldots, D_m$.

Let $D_i$ be parameterized by the smooth path $\sigma_i: \closedint {c_i} {d_i} \to \C$ for all $i \in \set {1, \ldots, m}$.

Suppose $\map {\gamma_n} {b_n} = \map {\sigma_1} {c_1}$.

Then the finite sequence:


 * $C_1, \ldots, C_n, D_1, \ldots, D_m$

defines a contour.

Proof
By definition of contour, each $C_i$ and $D_j$ is a directed smooth curve for all $i \in \set {1, \ldots, n}, j \in \set {1, \ldots, m}$.

By definition of contour:
 * $\map {\gamma_i} {b_i} = \map {\gamma_{i + 1} } {a_{i + 1} }$

and:
 * $\map {\sigma_j} {d_j} = \map {\sigma_{j + 1} } {c_{j + 1} }$

for all $i \in \set {1, \ldots, n - 1}$ and $j \in \set {1, \ldots, m - 1}$.

By assumption:
 * $\map {\gamma_n} {b_n} = \map {\sigma_1} {c_1}$

Hence, $C_1, \ldots, C_n, D_1, \ldots, D_m$ defines a contour.