theorem :: GOBOARD1:19

for m, k being Nat
for G being Go-board st width G = m + 1 & m > 0 & k in Seg m holds
( Col ((DelCol (G,(width G))),k) = Col (G,k) & k in Seg (width (DelCol (G,(width G)))) ) by MATRIX_0:73;