add helper func to determine if a tile has the right number
implement lower_row_invariant
test cases for lower_row_invariant