Vektorraum/Basisaustauschlemma/Fakt/Beweis/Aufgabe