C) formula_24 (por transitividad)