Extension of the main theorem without condition (nu)

The Bachet's game with lottery moves model is governed by the assumptions preceding the main theorem, including condition

, which ensures that each move size from $1$ through $m$ can occur with positive probability. **Conjecture.** The main theorem remains true even when condition

is violated. The condition is used technically in the proof, but the authors believe it is not essential to the theorem's conclusion.