Teorem: V, K üzerine bir vektör uzayı olsun. {v1,...,vm}, V'nin bir bazı olsun.
n>m için w1,...,wn ∈V olsun. O halde, w1,...,wn'in lineer bağımlı olduğunu kanıtlayın.
https://dibene.files.wordpress.com/2011/02/serge-lang-linear-algebra.pdf linkte sayfa 15 te verilmiş bir kanıt var ancak daha kısa(belki de daha şık) kanıtların yapılabileceğini düşünüyorum. Tartışarak bulabiliriz de belki.