Existence of Vector Space Bases implies Axiom of Choice

Theorem
The supposition that every vector space has a basis, along with the Zermelo-Fraenkel axioms, implies that the axiom of choice holds.

Proof
Blass, 1984