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.
Pada soal telah diandaikan bahwa P(n) benar untuk n=k. Artinya P(k) bernilai benar, yaitu dengan mensubstitusikan n=k pada P(n). Diperoleh
n3+3n2+2n=k3+3k2+2k habis dibagi 6