theorem :: GOBOARD1:10

canceled;