Remark

The first part of the preceding proof shows in fact that a continuous injective mapping of I into $\mathbf{R}$ is strictly monotonic; from the second part of the proof it therefore follows that every continuous injective mapping $f$ of an interval I into $\mathbf{R}$ is a homeomorphism of I onto $f(I)$.