שינויים
/* qn */
'''If (w∉U and v∈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\geq dim(U)=dim(U+sp\{v\})</math>. contradiction
'''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= dim(U)+dim(sp\{v\})-dim(U\bigcap sp\{v\})=dim(U+sp\{v\})</math>. contradiction
Adi
