Vektorraum/Basisaustauschsatz/Fakt/Name