https://9dok.net/document/zgw2xj06-local-structure-feasible-sets-nonlinear-programming-ii-nondegeneracy.html