Kết quả bài này hình như không đúng lắm.
Ta xét số $m$ sao cho $a_m$ $=$ $m^{2017}$. Ký hiệu $f(i_1,...,i_{2017})$ $=$ $a_{i_1}+2017a_{i_2}+...+2017^{2016}a_{i_{2017}}$
Do $a_m$ $=$ $m^{2017}$ nên $ \left \{ 0,1,...,m^{2017}-1 \right \} $ $\subset $ $\left \{ f(i_1,i_2,...,i_{2017}) | i_j < m \forall j = 1,2,...,2017 \right \}$ mà $\left | \left \{ f(i_1,i_2,...,i_{2017}) | i_j < m \forall j = 1,2,...,2017 \right \} \right | \leq m^{2017}$ $=$ $\left | \left \{ 0,1,...,m^{2017} -1 \right \} \right |$ nên $f(i_1,i_2,...,i_{2017})$ là đôi một phân biệt với mọi $i_j$ $<$ $m$. Từ đây đánh giá dễ thấy $a_{m-1-2017k-r}$ $=$ $a_{m-1} - k(2016A + 1) - r$ với $A$ $=$ $\frac{2017^{2017} - 1}{2016}$
Xét $n$ $=$ $0,1, ... , 2016$ ta suy ra $a_i$ $=$ $i$ $\forall i = 0,1, ... , 2016$
Do đó $a_{m-1} - k(2016A+1)$ $=$ $2016$ nên $a_{m-1}$ $=$ $2016 + k(2016A +1)$
Mà ta có $m^{2017} - 1$ $=$ $a_{m-1}A$ nên $m^{2017} - 1$ $=$ $2016A + k(2016A^2+A)$ do đó $m^{2017} - 2017^{2017}$ $\vdots $ $2017^{2017} A$.
Chỗ này nếu chọn $m = 2017 A$ thì sao?