En forma equivalente, "X" es aritmético en "Y" si "X" se encuentra en formula_41 o formula_43 para algún entero "n".