Mathematics for Applied Sciences (Osnabrück 2023-2024)/Vector space/Basis complement/Fact/Factreferencenumber