let rec($)x y=x=y||x/y*y