En el caso en que formula_4, como formula_1 es transitivo, entonces formula_6, luego formula_32.