theorem Th23: :: MATRPROB:23

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