More fixes in chapter 18 thanks to Sergey Gavrilov

Author: ischurov

chapter18.qq

@@ -346,7 +346,7 @@ $y=x$, а затем снова положили на стол. При этом
     $f(f^{-1})(y_2)=y_2$ и $f(f^{-1})(y_1)=y_1$. Значит $y_2 < y_1$ вопреки
     предположению.
 
-\proposition
+\proposition \label prop:18:inv-cont-monot
     Пусть функция непрерывна на $[a, b]$ и обратима. Тогда $f$ строго
     монотонна на $[a, b]$.
 \proof
@@ -448,7 +448,8 @@ $y=x$, а затем снова положили на стол. При этом
     \choice \correct
         Узнать ответ
         \comment
-            По \ref[утверждению][prop:18:inv-monot] обратная функция монотонна. Значит
+            По \ref[утверждению][prop:18:inv-cont-monot], $f$ строго монотонна, а следовательно 
+            (по \ref[утверждению][prop:18:inv-monot]) обратная функция тоже строго монотонна. Значит
             для всех $y \in [y_1, y_2]$, $f^{-1}(y)$ лежит между точкам $f^{-1}(y_1)$ и
             $f^{-1}(y_2)$. То есть у любой точки $y$ есть единственный прообраз (это
             следует из обратимости), и он лежит на отрезке $I$ (это следует из