Здравствуйте, Evgeniy1234!
Я думаю, что доказательство может быть следующим. Пусть x, y -- взаимно простые натуральные числа. Тогда существуют целые числа a, b такие, что ax+by=1. Во множестве целых чисел существуют k+fx и l+fy, где f -- натуральное число, k и l -- целые числа, а также k+l. Предположим, что k+l=(a-f)x+(b-f)y. Тогда (k+fx)+(l+fy)=ax+by, (k+fx)+(l+fy)=1, то есть целые числа k+fx, l+fy взаимно простые.
Об авторе:
Facta loquuntur.