Тогда a=p*a1, b=p*b1, где a1 и b1 — взаимно простые числа
a-b =p*a1-p*b1 = p(a1-b1)
т.к. a1 и b1 — взаимно простые числа, то нет общего делителя, который можно было бы вынести за скобки в качестве множителя, т.е. не один делитель числа а1 не является делителем числа a1-b1. Следовательно а1 и a1-b1 также взаимно простые числа