theorem :: GOBOARD1:7

canceled;