V ein endlich erzeugter Vektorraum.
==> V besitzt eine (geordnete) Basis mit n=dim V Elementen.
Jedes Element von V lässt sich eindeutig als Linearkombination der Basis darstellen.
==> Jedes Element wird eindeutig durch das n-Tupel der bei der Linearkombination
benutzten Koeffizienten identifiziert.
Von diesen n-Tupeln gibt q^n Stück, also V auch q^n Elemente. q.e.d.