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.

Diketahui $P\left(n\right)$ menyatakan bahwa untuk setiap bilangan asli $n$ berlaku $16^n-1$ habis dibagi 15.

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

$16^n-1=16^3-1$

$16^n-1=4.096-1$

$16^n-1=4.095$

habis dibagi 15