натуральных чисел – это наибольшее
число, на которое оба исходных числа делятся без остатка.Перебор:
Записать в переменную k минимальное из двух чисел.
Если a и b без остатка делятся на k, то стоп.
Уменьшить k на 1.
Перейти к шагу 2.
это цикл с условием!