theorem :: JORDAN1A:17

for i, j being Nat
for G being Go-board st 1 <= i & i <= len G & 1 <= j & j <= width G holds
G * (i,j) in LSeg ((G * (1,j)),(G * ((len G),j)))