Es ist gleichbedeutend die Äquivalenz der Negationen zeigen,also
k∈⟨U⟩ <=>  k∈U oder   U∪{k} ist lin. abhängig
Zuerst "<=="   Wenn k∈U, dann ist k als Linearkombination der
Elemente von U darstellbar mit dem Faktor 1 bei k und 0 bei den
anderen Elementen von U, also k∈⟨U⟩
"==>"  Sei k∈⟨U⟩ .
  1. Fall   k∈U , dann gilt   k∈U oder U∪{k} ist lin. abhängig
  2. Fall   k∉U. Dann gibt es für k eine Linearkombination der
   Elemente von U in der Art \( k=\sum\limits_{i=1}^n a_iu_i\) mit \( a_i \in K , u_i \in U \).
         ==>    \( k-\sum\limits_{i=1}^n a_iu_i  = 0 \)
  Das ist eine Darstellung des 0_vektors mit den Elementen von U∪{k}
   mit mindestens einem Koeffizienten (nämlich 1 bei k ) , der nicht 0 ist.
        Also U∪{k} lin. abh.