theorem Th22: :: MEASURE9:24

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