Kurs:Lineare Algebra (Osnabrück 2017-2018)/Isometrie/Verschiedene Charakterisierungen mit Orthonormalbasis/Fakt/Faktreferenznummer