Si formula_9 y formula_27, entonces también formula_28, y como formula_29, tenemos que formula_30, y con ello formula_15 es transitiva.