for M being Matrix of REAL st M = {} holds
SumAll M = 0