theorem :: MATRIX15:31

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