Steinitz exchange lemma

(ii) means: one can enlarge $F$ by some elements from $G$ such that the result has at most the size of $G$ and also spans $V$

All bases have the same size