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