theorem Th18: :: ENTROPY1:18

for D being non empty set
for M being Matrix of D
for i being Nat st i in dom M holds
dom (M . i) = Seg (width M)