Правда.Объясняю суть вопроса.b = k (mod m) - это значит, что при делении b на m будет остаток k.b = m*a + kПри делении b на m получится частное a и остаток k.Тогда b - m = m*a + k - m = m*(a - 1) + kПри делении (b - m) на m получится частное (a - 1) и опять остаток k.