La dimensión del espacio vectorial no excederá la dimensión vectorial.
La dimensión de un espacio vectorial es el número de vectores en su grupo independiente máximo, es decir, el rango del grupo independiente máximo se establece en r.
La dimensión del vector se establece en t.
Si r & gtt, entonces estos R vectores deben estar relacionados (n+1 vectores N-dimensionales deben estar relacionados), por lo que no es inconsistente con la máxima irrelevancia.