Supongamos que $ a_1$ , $ a_2$ , $ \ldots$ , $ a_n$ son enteros tales que $ n\mid a_1 + a_2 + \ldots + a_n$ . Demostrar que existen dos permutaciones $ \left(b_1,b_2,\ldots,b_n\right)$ y $ \left(c_1,c_2,\ldots,c_n\right)$ de $ \left(1,2,\ldots,n\right)$ tales que para cada entero $ i$ con $ 1\leq i\leq n$ , tenemos \[ n\mid a_i - b_i - c_i\]