Kategorie:Theorie der Orthonormalsysteme/Fakten