Es gibt ein x∈V mit eindeutiger Darstellung x=i∈I∑xi⋅mi #
Wären die mi keine Basis, also lin. abh. , dann gäbe es eine Darstellung
des 0-Vektors 0=i∈I∑yi⋅mi und ein yi≠0
==> x=x+0=i∈I∑xi⋅mi+i∈I∑yi⋅mi=i∈I∑(xi+yi)⋅mi
Und weil mindestens ein yi≠0 sind an dieser Stelle xi und xi+yi verschieden, also
eine andere Darstellung von x möglich. Widerspruch !
Sind umgekehrt die mi eine Basis, dann lässt sich jedes x∈V eindeutig
damit bdarstellen. q.e.d.