theorem Th21: :: MATROID0:21

for M being finite-degree Matroid
for C being finite Subset of M holds
( C is independent iff card C = Rnk C )