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.
Untuk setiap bilangan asli n≥a berlaku 23n−1 habis dibagi 7. Nilai a di sini merupakan bilangan asli terkecil yang memenuhi pernyataan tersebut.
Diperhatikan jika a=1, maka untuk n=1 berlaku
23.n−1=23.1−1
23.n−1=23−1
23.n−1=8−1
23.n−1=7
Karena 7 habis dibagi 7, artinya nilai a yang sesuai adalah 1.