for M being finite-degree Matroid
for A being Subset of M
for e, f being Element of M st f nin Span A & f in Span (A \/ {e}) holds
e in Span (A \/ {f})