B) formula_23 (por transitividad)