Subspaces of computable vector spaces

We show that the existence of a nontrivial proper subspace of a vector space of dimension greater than one (over an infinite field) is equivalent to WKL0 over RCA0, and that the existence of a finite-dimensional nontrivial proper subspace of such a vector space is equivalent to ACA0 over RCA0.