theorem Th74: :: MATRIX13:74

for K being Field
for M being Matrix of K holds
( the_rank_of M <= len M & the_rank_of M <= width M )