($r*$m + $s) % $m == $s % $m