Mathematics for Applied Sciences (Osnabrück 2023-2024)/Vector space/Dimension n and n vectors/Equivalences/Fact/Factreferencenumber