theorem :: GOBOARD1:8

canceled;