theorem :: MATRIX_0:40

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