theorem Th16: :: GOBRD11:16

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