Sean "a", "b" y "c" elementos de ("G, formula_6"), se verifica que: formula_25.