En formula_31 se verifica que formula_32 de modo que: