Sea formula_6 una filtración de formula_7-algebras: formula_8.