El estado del juego puede ser desribed por
(g,s,G,S),
donde g es el número de monedas de oro sobre la mesa, s es el número de monedas de plata sobre la mesa, G es la suma de los números en el primer papel, y S es la suma de los números en el segundo documento. El estado inicial es de (0,n,0,0), y queremos demostrar que si el estado del juego es de (g,0,G,S), entonces G=S.
Si estamos en (gi,si,Gi,Si) y agregar una moneda de oro, el estado de cambios en
(gi+1,si+1,Gi+1,Si+1)=(gi+1,si,Gi,Si+si),
y si sacamos una moneda de plata, el estado de cambios en
(gi+1,si+1,Gi+1,Si+1)=(gi,si−1,Gi+gi,Si).
Un plan para resolver el problema es encontrar un invariante, por ejemplo, una función de (g,s,G,S) a enteros, de tal manera que estas transformaciones no se cambia el valor de dicha función. Mirando las ecuaciones para un tiempo sugiere algo con gs, por que cómo íbamos a conseguir cambios de tamaño de g y s. Un poco más nos da
f(g,s,G,S) = gs+G-S.
Una vez que hemos encontrado la fórmula anterior, es fácil comprobar que un paso no afecta el valor de gs+G-S.
Por lo tanto, si partimos de f(0,n,0,0)=0 y al final con f(g,0,G,S) = G-S, podemos ver que G=S.