Diketahui S(n) adalah sifat "(4^n-1) habis dibagi 3".

Diketahui S(n) adalah sifat "(4^n-1) habis dibagi 3". Andaikan S(n) benar untuk n=k, maka 4^k-1 habis dibagi 3. Untuk n=k+1, maka ....