lean_workbook_plus_13480

Applying Binomial theorem, we find that $2017^{167} = (2000 + 17)^{167} = \binom{167}{0}2000^{167} + \binom{167}{1}2000^{166} 17 \ldots + \binom{167}{167}17^{167}$ . Note that as we are only interested in the last four digits, we only have to compute $\binom{167}{166}2000^1 17^{166} + \binom{167}{167} 17^{167}$ . Doing some bash yields $\boxed{9073}$ .