bounding lemma
lemma stating that, in a vector space generated by n vectors, any set of n+1 vectors is linearly dependent
en-GB/ˈbaʊndɪŋ ˈlɛmə/
en-US/ˈbaʊndɪŋ ˈlɛmə/
lemma stating that, in a vector space generated by n vectors, any set of n+1 vectors is linearly dependent