En cualquier caso, queda demostrado que formula_25 es de nuevo transitivo.