Basis Cardinality Theorem for Matroids