Supongamos que formula_21 y formula_22 son elementos de formula_17, entonces