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