theorem :: GOBOARD1:11

canceled;