[FOM] Bases for vector spaces

[T.Forster at dpmms.cam.ac.uk]

``Every subspace of a vector-space-with-a-basis has a basis''

Does this ring any bells with anyone? Any chance of an outright proof? Is 
it equivalent to a known version/weakening of AC..?

     thx

     tf