En particular, para todos los objetos formula_5 y formula_17 de formula_6, tenemos que formula_19, donde