Se eligen 250 números entre los enteros positivos que no superan 501. Demuestra que para cada 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.