Riesz–Schauder theorem (source code)

= Riesz–Schauder theorem
{c}
{wiki}

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.