theorem :: GOBOARD6:88

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