Mathematically speaking, if a given game of Sudoku, in its initial state, has only one possible outcome, will it always solvable without having to resort to guessing a cell's value?