theorem Th44: :: ENTROPY1:44

for MR being Matrix of REAL holds
( MR is Joint_Probability iff Mx2FinS MR is ProbFinS )