theorem Th49: :: MATRIXC1:51

for M being Matrix of COMPLEX st len M > 0 holds
SumAll M = SumAll (M @)