Endlichdimensionaler Vektorraum/Dualbasis ist Basis/Fakt/Name