Implementation of routine SUDOKU_BOARD/is_solved