Вопрос по сравннеиям.

[qwertz]

$ax = c (mod m)$

Решая такое сравнение, переходят к линейному диофантовому уравнению: $ax + my = c$. Почему не $ax - my = c$?
Если $ax = c (mod m)$, то разность $ax - c$ должна делиться на $m$, а значит существует такое число $y$, что $ax - c = my$ отсюда $ax - my = c$. Откуда там плюс взяли?

AKM:

$ax \equiv c \pmod{m}$

[provincialka]

А разница? Ведь $-y$ такое же целое число, как и $y$. Нравится - пишите с минусом.