theorem Th43: :: ENTROPY1:43

for MR being Matrix of REAL holds
( MR is m-nonnegative iff Mx2FinS MR is nonnegative )