Теорема (принцип математической индукции)

Теорема (принцип математической индукции). Пред¬положим, что для каждого натурального числа n ≥ n_0 есть утверждение Р(n), обладающее двумя свойствами:
1) Р(n_0) истинно;
2) для любого натурального k ≥ n_0 из справедливости Р(k) вытекает истинность P(k + 1) , т. е. Р(k) => Р(k + 1).
Тогда утверждение Р(n) верно для любого натурального чи¬сла n ≥ n_0.