let G be Go-board; :: thesis: Center G <= len G
0 < len G by GOBRD11:34;
then A1: (len G) div 2 < len G by INT_1:56;
Center G = ((len G) div 2) + 1 by JORDAN1A:def 1;
hence Center G <= len G by A1, NAT_1:13; :: thesis: verum