theorem :: GOBOARD1:9

canceled;