theorem Th19: :: MATRIXJ1:19

for D being non empty set
for M being Matrix of D holds Width <*M*> = <*(width M)*>