Kompakter metrischer Raum/Stetiger Integralkern/Kompakter Operator/Fakt/Beweis