 Riesz–Schauder theorem

Every nonzero spectral point of a compact operator is an isolated eigenvalue of finite algebraic multiplicity, and zero is the only possible accumulation point of the spectrum.