Hay una baraja de cartas colocadas en cada punto $A_1, A_2, \ldots , A_n$ y $O$, donde $n \geq 3$. Podemos hacer una de las siguientes dos operaciones en cada paso: $1)$ Si hay más de 2 cartas en algunos puntos $A_i$, podemos retirar tres cartas de esa baraja y colocar una en $A_{i-1}, A_{i+1}$ y $O$. (Aquí $A_0=A_n$ y $A_{n+1}=A_1$ ) ; $2)$ Si hay más de o igual a $n$ cartas en el punto $O$, podemos retirar $n$ cartas de esa baraja y colocar una en cada $A_1, A_2, \ldots , A_n$. Muestra que si el número total de cartas es más de o igual a $n^2+3n+1$, podemos hacer que el número de cartas en cada punto sea más de o igual a $n+1$ después de un número finito de pasos.