Secara umum, pembuktian menggunakan induksi matematika terdiri dari dua tahap, yaitu:
- Tahap pertama: basis induksi. Akan dibuktikan S(n) benar untuk n=a, dengan a bilangan asli terkecil yang memenuhi S(n).
- Tahap kedua: langkah induksi. Diandaikan S(n) benar untuk n=k, kemudian akan dibuktikan S(n) benar untuk n=k+1.
Pernyataan S(n) dikatakan benar untuk n=p (p dapat berupa bilangan maupun variabel) jika dengan mensubstitusikan n=p pada S(n), maka pernyataan S(n) benar / berlaku.
Pada soal diketahui bahwa diandaikan S(n) benar untuk n=9. Berdasarkan langkah induksi, maka akan dibuktikan S(n) benar untuk n=9+1=10, yaitu dengan mensubstitusikan n=10 pada S(n) diperoleh
2+8+32+⋯+2410=32(410−1)