Milnor establece un lema que simplifica la prueba para las funciones infinitamente diferenciables.