theorem Th39: :: ENTROPY1:39

for D being non empty set
for M being Matrix of D holds len (Mx2FinS M) = (len M) * (width M)