Nótese que si formula_1 es transitiva, entonces formula_10.