ADD function verify_sudoku_solution to avoid redundancy