problem at SUDOKU_BOARD whit the invariant