theorem :: GOBOARD6:90

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