Sei V ein endlicher F2-Vektorraum.
Dann hat V eine Basis mit n (n∈ℕ) Elementen, etwa v1,v2,...,vn.
Jedes v aus V ist eindeutig als Linearkombination dieser
Elemente darstellbar.
Die Koeffizienten in dieser Linearkombination sind nur
0-en und 1-en. Also ist es jedem v∈V eindeutig ein n-Tupel
aus 0-en und 1-en zugeordnet. Die Menge dieser n-Tupel
ist aber gerade F2^n , hat also 2^n Elemente.
==> |V | = 2^n. q.e.d.