MATH347 L22: Eigenvalue theory