theorem :: GOBOARD9:18

canceled;