Infinite dimensional DVIs: solvability