A idéia da indução é supor se algo é verdadeiro para um caso inicial ,o mesmo será verídico para o seu sucessor. Para isto devemos mostrar .
Quanto ao exercício , o resultado é claramente verdadeiro para

.
Vamos supor que este resultado é verdadeiro para

, vamos mostrar para

.
![2^{3(n+1)} - 1 = 2^{3n +3} - 1 = 2^3(2^{3n} ) - 1 = 8(2^{3n}) - 1 = 8(2^3{3n}) + (7 -8) = 8[2^{3n} -1 ] + 7 2^{3(n+1)} - 1 = 2^{3n +3} - 1 = 2^3(2^{3n} ) - 1 = 8(2^{3n}) - 1 = 8(2^3{3n}) + (7 -8) = 8[2^{3n} -1 ] + 7](/latexrender/pictures/c63704c8b3a890f752499b35fa097467.png)
.
Note que o segundo termo da soma é divisível por

.Já o primeiro , como estamos supondo que o resultado é verdadeiro para

, temos que
![8[2^{3n} -1 ] 8[2^{3n} -1 ]](/latexrender/pictures/e97aa8ecc758d911deaeb631a72d732c.png)
é divisível por

,logo concluímos que o resultado é verdadeiro para

.