1)

Проверим при n = 1.

Предположим, что верно при n = k. Проверим, верно ли при n = k + 1.

2)

Проверим для n = 1. 7 делит 7, так что верно.

Предположим, что верно при n = k. Проверим, верно ли при n = k + 1.

Очевидно, что , тк и , и делится на 7.