theorem :: GOBOARD1:2

canceled;