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
n2+(n+1)2−1=k2+(k+1)2−1
n2+(n+1)2−1=k2+k2+2k+1−1
n2+(n+1)2−1=2k2+2k
habis dibagi 4