For all integers $n \ge 1$, prove 6 divides $n(n+1)(n+2)$ by PMI. 
For all integers $n \ge 1$, prove 6 divides $n(n+1)(n+2)$ by PMI.

I check for my base case, it holds. 
Then, my inductive hypothesis that for any arbitrary $n \ge 1$, 6 divides $n(n+1)(n+2)$ so there exists integer $k$ s.t $n(n+1)(n +2) = 6k$. Assume $(n+1)(n+2)= 6k/n$. 
Inductive step: $(n+1)(n+1+1)(n+1+2) = (n+1)(n+2)(n+3)=(6k/n)(n+3)=
6k + (18k/n)$. 
From here I can simply factor out a $6$ but how do I know that $18k/n$ is an integer? 
I also struggle when it comes to the substitution part. When there is one $n$ involve is simple but when I see various $n$'s in my equation I'm unsure about which one I really want substitute for, any pointers? 
Lastly, am I allowed to make various substitutions or am I confined to only substitute once? Thank you for your time. 

Note: You may prove your result directly by noting that among $n,(n+1)$, and $(n+2)$, one is a multiple of $3$ and at least one is even, yielding a factor of $6$. However, an inductive proof is still quite possible. Just something useful to keep in mind.
For each $n\geq 1$, let $S(n)$ denote the statement
$$
S(n) : 6\mid n(n+1)(n+2).
$$
Base step: Since $6$ divides $6, S(1)$ holds.
Inductive step: Fix some $k\geq 1$, and suppose that $S(k)$ holds; that is, suppose that $\ell\in\mathbb{Z}$ so that
$$
k(k+1)(k+2)=6\ell.
$$
Then trying to prove $S(k+1)$,
\begin{align}
(k+1)(k+2)(k+3) &= k(k+1)(k+2)+3(k+1)(k+2)\\[0.5em]
&= 6\ell+3(k+1)(k+2),
\end{align}
and since one of $k+1$ or $k+2$ is even, $6$ divides $3(k+1)(k+2)$, and so $6$ divides $(k+1)((k+1)+1)((k+1)+2)$, proving that $S(k+1)$, and concluding the inductive step that $S(k)\to S(k+1)$. 
By PMI, for every $n\geq 1, S(n)$ holds. $\blacksquare$
