theorem Th21: :: MEASURE9:23

for M being Matrix of ExtREAL st len M = 0 holds
SumAll M = 0