Sum of Complex Integrals on Adjacent Intervals

Theorem
Let $\closedint a b$ be a closed real interval.

Let $f: \closedint a b \to \C$ be a continuous complex function.

Let $c \in \closedint a b$.

Then:


 * $\ds \int_a^c \map f t \rd t + \int_c^b \map f t \rd t = \int_a^b \map f t \rd t$

Proof
From Continuous Complex Function is Complex Riemann Integrable, it follows that all three complex Riemann integrals are well defined.

From Real and Imaginary Part Projections are Continuous, it follows that $\Re: \C \to \R$ and $\Im: \C \to \R$ are continuous functions.

From Composite of Continuous Mappings is Continuous, it follows that $\Re \circ f: \R \to \R$ and $\Im \circ f: \R \to \R$ are continuous real functions.

Then: