Mathematics for Applied Sciences (Osnabrück 2023-2024)/Vector space/Finitely generated/Length of every basis/Fact/Factreferencenumber