Lo que he observado: Elija cualquiera de los $3$ aleatorios enteros positivos, dicen $a$, $b$, $c$ que no son de la forma$0\pmod{3}$, a continuación, una y sólo una de $a+b$, $b+c$, $c+a$, $a+b+c$ siempre es un múltiplo de a $3$.
Lo que he generalizado: Vamos $a_1$$;$ $a_2$; $...;$ $a_k$ ser $k$ enteros positivos con $a_r$ $\not=$ $0\pmod{k}$ $\forall$ $1$ $\le$ $r$ $\le$ $k$. Entonces no existe $m$ $n$ con $1$ $\le$ $m$ $\le$ $n$ $\le$ $k$ tal que $\sum_{i=m}^n a_i$ es divisible por $k$.
Mi pregunta: Si o no tal generalización es verdadera.
Nota: La condición de $a_r$ $\not=$ $0\pmod{k}$ $\forall$ $1$ $\le$ $r$ $\le$ $k$ es para evitar que la solución trivial, siendo $m$ $=$ $n$ $=$ $r$.