Como tarea, tengo que demostrar que
$\forall n \in \mathbb{N}: n^3-n$ es divisible por 6
He utilizado la inducción
1) base: $A(0): 0^3-0 = 6x$ , $x \in \mathbb{N}_0$ // el 6x indica que el resultado es un múltiplo de 6, ¿no?
2) requisito: $A(n):n^3-n=6x$
3) declaración: $A(n+1): (n+1)^3-(n+1)=6x$
4) paso: $n^3-n+(n+1)^3-n=6x+(n+1)^3-n$
Así que cuando resuelvo eso sí me sale la ecuación: $n^3-n=6x$ por lo que la afirmación es cierta para $\forall n \in \mathbb{N}$
¿He hecho algo mal o es así de sencillo?