Dada una variedad diferenciable formula_3 de dimensión formula_4, y dada formula_5 una variedad con borde en formula_3, si formula_2 es una formula_8-forma, entonces se cumple que