permutation property for all valuations of a sudoku subgrid