This is a contribution to solvability of linear interval equations and inequalities. In interval analysis we usually suppose that values from different intervals are mutually independent.
This assumption can be sometimes too restrictive. In this article we derive extensions of Oettli-Prager theorem and Gerlach theorem for the case where there is a simple dependence structure between coefficients of an interval system.
The dependence is given by equality of two submatrices of the constraint matrix.