theorem Th18: :: JORDAN12:18

for i being Nat
for G being Go-board st i <= len G holds
v_strip (G,i) is convex