Start=vollständiges Orthonormalsystem (Hilbertraum)
Ziel=Vektorraum/Skalarprodukt/Hilbertbasis/Definition