theorem :: GOBOARD9:5

canceled;