theorem Th36: :: GOBOARD6:36

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