Secara umu, 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.

Diketahui bahwa untuk setiap bilangan asli $n$ berlaku $5.3^n-3$ habis dibagi 6.

Untuk $n=5$ dapat dicari dengan mensubstitusikan $n=5$ pada pernyataan tersebut, yaitu

$5.3^n-3=5.3^5-3$

$5.3^n-3=5.243-3$

$5.3^n-3=1.215-3$

$5.3^n-3=1.212$

habis dibagi 6.