Claramente, si formula_25 es abeliano, entonces formula_26.