theorem Th14: :: GOBOARD7:14

for i, j being Nat
for G being Go-board st 1 <= i & i + 2 <= len G & 1 <= j & j <= width G holds
(LSeg ((G * (i,j)),(G * ((i + 1),j)))) /\ (LSeg ((G * ((i + 1),j)),(G * ((i + 2),j)))) = {(G * ((i + 1),j))}