Vektorraum/Endlichdimensional/Basiswechsel/Fakt/Name