Continuity of Composite with Identification Mapping

Theorem
Let $T_1 = \left({S_1, \tau_1}\right)$ and $T_2 = \left({S_2, \tau_2}\right)$ be topological spaces.

Let $f_1: S_1 \to S_2$ be a mapping.

Let $S_3$ be a set.

Let $p: S_1 \to S_3$ be a mapping.

Let $\tau_3$ be the identification topology on $S_3$ with respect to $p$ and $T_1$.

Let $T_3 = \left({S_3, \tau_3}\right)$ be the resulting topological space.

Let $f_2: S_3 \to S_2$ be a mapping such that:


 * $f_1 = f_2 \circ p$

where $f_2 \circ p$ is the composition of $f_2$ with $p$.

Then $f_1$ is a continuous mapping iff $f_2$ is a continuous mapping.