theorem Th28: :: MATRPROB:28

for M being Matrix of REAL holds SumAll M = SumAll (M @)