theorem Th19: :: JORDAN12:19

for j being Nat
for G being Go-board st j <= width G holds
h_strip (G,j) is convex