Ist M l.u. und M ∪ {v} l.a., so gilt v ∈ lin M.
M l.u. besagt ja: \( \sum \limits_{m∈M} a_m \cdot m = 0 \) ==> a_m = 0 für alle m∈M
M ∪ {v} l.a. ==> Die Darstellung der 0 mit b, a_i ∈K
\( b\cdot v + \sum \limits_{m∈M} a_m \cdot m = 0 \)
gelingt mit mindestens einem Koeffizienten ≠ 0
1. Fall b=0 ==> \( \sum \limits_{m∈M} a_m \cdot m =0 \) also
alle am = 0 . Widerspruch!
2. Fall: b≠0 Dann multipliziere \( b\cdot v +\sum \limits_{m∈M} a_m \cdot m = 0 \) mit b-1
und erhalte \( v= \sum \limits_{m∈M} - b^{-1 }\cdot a_m \cdot m \)
womit v als Lin. komb. der Elemente von M dargestellt ist, also v ∈ lin M.