Fun es_factible (i, j : Nat; sol[1..9, 1..9] de 0..9) DEV Bool