A Generalized Implicit Function Theorem

We prove a theorem generalizing the classical implicit function theorem to the case in which the derivative of the map is a surjective continuous linear operator. We do not assume that the kernel of the derivative is a complemented subspace.