Eigen systemsfinite mutiplicty Eigen systems finite mutiplicty Eigen value of compact operator has finite mutiplicity. An intuitive proof can be found in here.