theorem Th38: :: GOBOARD6:38

for G being Go-board holds (G * (1,(width G))) + |[(- 1),1]| in Int (cell (G,0,(width G)))