Чтобы доказать утверждение для всех натуральных \(n\), нужны два обязательных шага: база — проверить утверждение при наименьшем \(n\), и переход — доказать, что из истинности при \(n=k\) следует истинность при \(n=k+1\).