Beweisarchiv: Funktionalanalysis: Hilberträume