theorem :: MATROID0:22

for M being finite-degree Matroid
for B1, B2 being Basis of M holds card B1 = card B2