theorem Th32: :: MATRIX15:32

for k being Nat
for K being Field holds ColVec2Mx (k |-> (0. K)) = 0. (K,k,1)