theoremvector-spaces Intuition Formal Statement Every vector space has a basis, either finite or infinite. Corollaries