theorem Th17: :: GOBRD11:17

for j being Nat
for G being Matrix of (TOP-REAL 2) holds v_strip (G,j) is closed