Satz von Riesz (Kompakte Operatoren)