theorem :: MATROID0:35

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