Using a Magic Number To Prove that a Sudoku Solution is Unique