2007 IMO Shortlist N4

For every integer $k \geq 2$, prove that $2^{3 k}$ divides the number $$\left(\begin{array}{c} 2^{k+1} \\ 2^{k} \end{array}\right)-\left(\begin{array}{c} 2^{k} \\ 2^{k-1} \end{array}\right)$$ but $2^{3 k+1}$ does not. (Poland)

对于每个整数 $k \geq 2$，证明 $2^{3 k}$ 可以除以数字 $$\left(\begin{array}{c} 2^{k+1} \\ 2^{k} \end{array}\right)-\left(\begin{array}{c} 2^{k} \\ 2^{k-1} \end{array}\right)$$，但 $2^{3 k+1}$ 不能。 (波兰)