Изменения

<tex> ({\varphi^{-1}}')(\rho) = \lim_{n \to \rho - 0}({\varphi^{-1}} ')(\lambda) = \dfrac {1} {\lim_{t \to r - 0} {\varphi} ' (t)}. </tex>

Последний предел существует и, по условию теоремы, положителен.

Поэтому функция <tex>\varphi^{-1}</tex>обратима в окрестности точки <tex>\rho,</tex> что, в свою очередь, противоречит условиям теоремы.