Kurs:Mathematik (Osnabrück 2009-2011)/Reelle endlichdimensionale Vektorräume/Euklidische Struktur/Unabhängigkeit/Fakt/Faktreferenznummer