A) formula_22 (por transitividad)