“…Let x * be a locally optimal solution of the problem (22), and the functions f 0 , G and h be twice differentiable at x * . A pair (x * , λ * ), where λ * = (µ * , ν * ) ∈ Λ, is called a KKT pair of the problem (22), if µ * is positive semidefinite, µ * G(x * ) = 0 and D x L(x * , λ * ) = 0, where L(x, λ) = f 0 (x) + µ • G(x) + ν T h(x) is the classical Lagrangian. Suppose that rank(G(x * )) < m. One says that a KKT pair (x * , λ * ) satisfies the second order sufficient optimality condition, if the matrix…”