Seja V um espaço vetorial de dimensão 8 e U₁ e U₂ subespaços vetoriais de V tais que V = U₁ ⊕ U₂ . Sabe-se que dim(U₂ ) = dim(U₁) + 4.

Sejam ∈ U₁ e ∈ U₂ , vetores não nulos. Sabe-se que os vetores e são linearmente dependentes.

A maior dimensão que o espaço vetorial gerado por esses 7 vetores pode ter é