La relación formula_20 es "transitiva" siempre que