3 ms·

Does "maximum size of a linearly independent set" count? You would have to prove something about spanning sets to get to the existence of a basis