Invirtiendo los roles de formula_20 y formula_170 en las relaciones anteriores, obtendremos que formula_171.