theorem Th29: :: MATRPROB:29

for M being Matrix of REAL holds SumAll M = Sum (ColSum M)