theorem Th42: :: ENTROPY1:42

for MR being Matrix of REAL holds SumAll MR = Sum (Mx2FinS MR)