Pero si formula_275, entonces formula_278 para todo índice formula_72.