theorem Th47: :: MATRIXC1:49

for M being Matrix of COMPLEX st len M > 0 holds
Sum (LineSum M) = Sum (ColSum M)