предположим, при

и

- какое то фиксированное значение , наше реккурентно записанная форма верна .
Тогда докажем при n+1
то есть верно так как

, то доказанное выражение можно записать

что верно
2)
при n=1 верно , то при n+1 докажем справедливость
сделаем предварительную замену
то есть так как А делиться на 5, то

тоже делится на 5, так как содержит множитель 5
То есть доказано