Secara umum, pernyataan $S\left(n\right)$ dikatakan benar untuk $n=p$ ($p$ dapat berupa bilangan maupun variabel) jika dengan mensubstitusikan $n=p$ pada $S\left(n\right)$, maka pernyataan $S\left(n\right)$ benar/berlaku.

Pada soal telah diandaikan bahwa $P\left(n\right)$ benar untuk $n=k$. Artinya $P\left(k\right)$ bernilai benar, yaitu dengan mensubstitusikan $n=k$ pada $P\left(n\right)$. Diperoleh

$n^3+3n^2+2n=k^3+3k^2+2k$ habis dibagi 6