Se eligen 250 números entre los enteros positivos que no exceden 501. Demuestra que para todo entero \( t \) hay cuatro números elegidos \( a_1 \), \( a_2 \), \( a_3 \), \( a_4 \), tales que \( a_1 + a_2 + a_3 + a_4 - t \) es divisible por 23. Autor: K. Kokhas