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