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 artinya jika n disubstitusikan oleh k, maka S(k) bernilai benar. Dengan kata lain,
−4−2+0+2+4+⋯+(2k−6)=k2−5k