Nótese que es la misma definición que para formula_31, con módulo en lugar del valor absoluto.