theorem Th27: :: JORDAN1A:27

for i being Nat
for G being Go-board st i <= len G holds
not cell (G,i,(width G)) is bounded