What's yellow and equivalent to the axiom of choice?

EVERY VECTOR SPACE HAS A BASIS