Hay dos urnas, cada una contiene un número arbitrario de bolas. Se permiten dos tipos de operaciones:\n(a) retirar simultáneamente un número igual de bolas de ambas urnas,\n(b) duplicar el número de bolas en cualquiera de ellas. Demuestra que, después de realizar estas operaciones un número finito de veces, ambas urnas pueden quedar vacías.