应该是 $x,y$ 的最小公倍数对 $M$ 取模的结果。