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