RE: [math-fun] sudoku, uniqueness, proofs