Si formula_328 y formula_346, entonces también formula_347, y como formula_348, tenemos que formula_349, y con ello formula_334 es transitiva.