theorem :: MATROID0:23

for M being finite-degree Matroid
for A being independent Subset of M ex B being Basis of M st A c= B