m|a-b ってそんなよく見る式じゃないし
a≡b (mod m) で済む話だから知らなくても別に・・って思うが