Vektorraum/Endlich erzeugt/Länge von jeder Basis/Fakt/Beweis/Aufgabe