theorem :: MATROID0:32

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