Endlichdimensionaler Vektorraum/Dualbasis ist Basis/Fakt/Name

Der Satz über die Dualbasis.