The implicit function theorem in functional analysis