Se dice que formula_32 es: