Vektorraum/Basisaustauschsatz/Fakt/Beweis/Aufgabe