theorem Th15: :: MATRIXJ1:15

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