En forma equivalente se dice que "X" es aritmético si "X" es formula_1 o formula_2 para algún entero "n".