Implementation of method SUDOKU_BOARD/is_valid