Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Reelle endlichdimensionale Vektorräume/Euklidische Struktur/Unabhängigkeit/Fakt/Faktreferenznummer