formula_59は、"x" が "y" に算術還元可能であることを意味する。