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