Задача 12.

Докажите, что уравнение $ax+by=d$ имеет решение в целых числах тогда и только тогда, когда $d⋮НОД(a,b)$. В частности, $НОД(a,b)$ — это наименьшее натуральное число, представимое в виде $ax+by$.