Is there an easy proof? I only found citations but have no access. By the way: If we cross over to the rationals every vector space is free (using Zorn's lemma). But can one construct a basis of "Countable infinite product of the rationals"?