theorem Th20: :: MATROID0:20

for M being finite-degree Matroid
for C being finite Subset of M holds Rnk C <= card C