theorem Th31: :: MATROID0:31

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