formula_25 actúa en forma simple y transitiva