Ну это просто. число n делится на р, его можно представить n = a*p. число m не делится на р, его можно представить с остатком m = b*p + k тогда сумма чисел n + m = a*p + b*p + k = (a+b)*p + k то есть сумма делится на р с тем же остатком k. разность n - m = a*p - b*p - k = (a-b)*p - k = (a-b-1)*p + (p-k) разность делится на р с остатком (p-k).