Winnable games are verified to be solvable