Les deux joueurs soustraient, à tour de rôle, un diviseur propre de l'entier naturel,
obtenant ainsi un nouvel entier qui est ensuite soumis à l'adversaire.
Un diviseur propre du naturel n est un diviseur k < n. Les diviseurs propres de 6 sont 1, 2, 3. Suivant cette définition, 1 n'a pas de diviseur propre.