Endlichdimensionaler Vektorraum/Dualbasis ist Basis/Fakt/Beweis/Aufgabe