Vektorraum/Basisaustauschlemma/Fakt/Name