theorem Th13: :: GOBOARD7:13

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