De formula_16 y formula_17, y por carácter transitivo: