שינויים
/* qn */
'''If (v∉U and w∈U) then v+w∉U and we get
<math>dim(U+span{(v+w)})=dim(U)+dim(sp\{v+w\})-dim(U\bigcap sp\{v+w\})=dim(U)+1-0= </math></math>dim(U)+dim(sp\{v\})-dim(U\bigcap sp\{v\})=dim(U+sp\{v\})</math>. contradiction
so both v and w ∉U
Adi
