Доведіть, що при будь-якому натуральному n значення виразу (5n + 9) - (5 - 2n) при діленні на 7 дає остачу, яка дорівнює 4

Відповідь:

(5n + 9) - (5 - 2n) = 5n + 9 - 5 + 2n = 7n + 4.
Вираз 7n + 4 при діленні на 7 дає остачу 4. Задачу доведено.