Абсолютно верно. Поскольку приведение по модулю N является гомоморфным отображением из кольца целых в кольцо целых о модулю N, верны следующие утверждения:
(A + B) mod N = [(A mod N) + (B mod N)] mod N
(A - B) mod N = [(A mod N) - (B mod N)] mod N
(A * B) mod N = [(A mod N) * (B mod N)] mod N
Последнее равенство как раз нужно.
Это элементы модулярной арифметики, использующейся в некоторых асимметричных криптосистемах (RSA, системы Полига-Хеллмана и Эль-Гамаля). Я по этому диплом писал...