Ответ:

Здесь есть общий множитель 17, который можно вынести за скобки.  

Получим:

17 * (а + b) : 17 = а + b.

Пусть а + b = с. Тогда:

17с : 17 = с.

И это верно!

Ведь если что-то умножить на 17 и потом разделить на 17, то получим то же самое число!

Значит, а и b натуральные числа.