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