... the GCD of that expression and which other one?
The second term is always divisible by 8, so the problem reduces to investigate whether is divisible by 8 or not.
Since is 1 modulo 8 we have that is also 1 modulo 8. Therefore .
On the other hand, the fact that implies at once that . Hence as was to be shown.