Demostramos que $13$ divide $4^{2n+1}+3^{n+2}$ por inducción en $n$ . Si $n=1$ entonces $4^3+3^3=64+27=91$ es múltiplo de 13. Por tanto, la afirmación se cumple si $n=1$ .
Supongamos ahora que la afirmación se cumple para $n=k$ (este supuesto se denomina hipótesis inductiva). Así pues, $13$ divide $4^{2k+1}+3^{k+2}$ . Demostramos que la afirmación es válida para $n=k+1$ . Tenemos que $4^{2n+1}+3^{n+2} = 4^{2(k+1)+1}+3^{(k+1)+2} = 16 \cdot 4^{2k+1} + 3 \cdot 3^{k+2}$ . Para utilizar la hipótesis inductiva, reescribimos esta última expresión como $3\{4^{2k+1}+3^{k+2} \} + 13 \cdot \{ 4^{2k+1}\}$ . El primer término es múltiplo de 13 por la hipótesis inductiva, y el segundo término es claramente múltiplo de 13 porque tiene 13 como coeficiente, de donde la suma es múltiplo de 13.