theorem Th24: :: MATRPROB:24

for m being Nat
for M being Matrix of m, 0 ,REAL holds SumAll M = 0