theorem :: ENTROPY1:17

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