Let $n\in \mathbb N$ prove that if $8\mid (n^2+2n)$ then $2\mid n$.
From the given, there exists $k\in \mathbb N$ such that $8k= (n^2+2n)$, take $k=1$, and we get $2\cdot 4 = n(n+2)$.
Now my question is, can I do the following?
$2\cdot 4 = n(n+2)\to 2\mid n(n+2)\to (2\mid n)\wedge (2\mid n+2)$ thus $2\mid n$
Hints:
$$n^2+2n=n(n+2)$$
But $\;n\,,\,\,n+2\;$ have the same parity and an even number divides the above, so...