theorem :: GOBOARD1:6

canceled;