Independent Subset is Base if Cardinality Equals Cardinality of Base