B ∩ U ⊆ B.
Wenn für alle x1,x2,...,xn ∈ K gilt:
x1*b1+x2*b2+...xn*bn = 0 ==> x1=x2=...=xn=0
und einige von den bi liegen nicht in U , dann kann man
eine Linearkombination der restlichen, die den Nullvektor darstellt
wieder ergänzen zu x1*b1+x2*b2+...xn*bn = 0 .
und mit der lin. Unabhängigkeit aller argumentieren.