Vektorraum/Endlich erzeugt/Basis/Fakt

Es sei ein Körper und ein -Vektorraum mit einem endlichen Erzeugendensystem.

Dann besitzt eine endliche Basis.