theorem Th19: :: GOBRD11:19

for G being empty-yielding Matrix of (TOP-REAL 2) st G is X_equal-in-line holds
v_strip (G,(len G)) = { |[r,s]| where r, s is Real : (G * ((len G),1)) `1 <= r }