Un sinónimo de formula_54es: "X" es aritméticamente reducible a "Y"