Vector space/Finitely generated/Length of every basis/Fact