Kategorie:Theorie der Isometrien auf unitären Vektorräumen/Fakten