De formula_31 y formula_32, y por carácter transitivo: