theorem Th12: :: GOBOARD9:13

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