Bài toán tương đương với việc chứng minh rằng tồn tại một hoán vị $T(i)$, sao cho tập
$(a_1+T_1, a_2+T_2, . . . , a_n+T_n)$ là một hoán vị của $1, 2, . . . , n$.
Ta chỉ cần chứng minh tồn tại một hoán vị $T(i)$, sao cho tập
$(a_1+T_1, a_2+T_2, . . . , a_{n-1}+T_{n-1})$, không có 2 phần tử đồng dư nhau $mod n$ là đủ.
Thật vậy ta sẽ xét các hoán vị mà $(a_1+T_1, a_2+T_2, . . . , a_{n-1}+T_{n-1})$ có hai vị trí
đồng dư nhau $mod n$.
Dễ thấy số các hoán vị này không quá $n.C_{n-1}^2.(n-3)!=\dfrac{n!}{2}$.
Tổng số các hoán vị là $n!$.
Nên ta có đpcm.