Теорема о неявной функции в окрестности анормальной точки

Исследуется существование неявной функции, заданной уравнением $G(x,\sigma )=0$, в окрестности анормальной точки $(x_0,\sigma _0)$. Доказано, что если некоторое $\lambda $-укорочение отображения $F(x) = G(x,\sigma _0)$ регулярно по некоторому направлению, то искомая неявная функция существует.