for M being finite-degree Matroid
for A being Subset of M holds Rnk (Span A) = Rnk A