Así pues, formula_1 es transitivo.