Sea formula_7, un campo vectorial de clase formula_8, es decir, formula_9 cuenta con derivadas parciales de primer orden continuas.