theorem :: GOBOARD6:89

for p being Point of (TOP-REAL 2)
for G being Go-board holds LSeg (p,((G * (1,(width G))) + |[(- 1),1]|)) meets Int (cell (G,0,(width G)))