donde hemos hecho la convención de escribir formula_12 para indicar la operación de "a" con "b" en "G", y formula_30 la operación de formula_31 con formula_32 en "H".