Continuous Real Function on Closed Interval is Bijective iff Strictly Monotone

Theorem
Let $\closedint a b$ and $\closedint c d$ be closed real intervals.

Let $f: \closedint c d \to \closedint a b$ be a continuous real function.

Let $\map f c, \map f d \in \set {a, b}$.

Then $f$ is bijective $f$ is strictly monotone.

Necessary condition
Let $f$ be a bijection.

From Continuous Injection of Interval is Strictly Monotone, it follows that $f$ is strictly monotone.

Sufficient condition
Let $f$ be strictly monotone.

From Strictly Monotone Real Function is Bijective, it follows that $f$ is a bijection on its image.

From Image of Interval by Continuous Function is Interval, it follows that the image of $f$ is a real interval.

Suppose that $f$ is strictly increasing.

Then by definition $\map f c < \map f d$.

It follows that:

It follows that for all $x \in \closedint c d$:

Thus, the image of $f$ is $\closedint a b$.

Suppose instead that $f$ is strictly decreasing.

Then by definition $\map f c > \map f d$.

It follows that:

It follows that for all $x \in \closedint c d$:

Thus the image of $f$ is again $\closedint a b$.