En este contexto, el teorema afirma que dada una aplicación "F" : "M" → "N" entre dos variedades diferenciables, si la diferencial de "F",