theorem Th48: :: MATRIXC1:50

for M being Matrix of COMPLEX holds ColSum M = LineSum (M @)