Secara umum, 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.
Rumus S(n) benar untuk n=k+1, artinya jika n disubstitusi oleh k+1, maka S(k+1) bernilai benar
Dengan kata lain,
−1−2−4−8−⋯−22n=1−2n
−1−2−4−8−⋯−22k+1=1−2k+1
−1−2−4−8−⋯−22k.2=1−2k+1
−1−2−4−8−⋯−2k=1−2k+1