theorem Th54: :: MATRPROB:54

for D being non empty set
for M being empty-yielding Matrix of D holds
( 1 <= len M & 1 <= width M )