The paper is devoted to the implicit function theorem involving singular mappings.We also discuss the form of the tangent cone to the solution set of the generalized equations in singular case and give some examples of applications to nonlinear programming and complementarity problems. Comment: 11 pages