essПусть <tex>\mathcal{X}_\mathcal{A}(\lambda)=\prod\limits_{i=1}^{л}(\lambda-\lambda_i)^{n_i}</tex> и <tex>\sigma_\mathcal{A}=\{\lambda_1 ... \lambda_k\}</tex> и <tex>k<n=dimX</tex> Пусть существует базис из собственных векторов <tex>\{X_s\}_{s=1}^n</tex>Пусть <tex>\lambda_i\leftrightarrow\{x_1^{(i)},x_2^{(i)}...x_{r_i}^{(i)}\}</tex><tex>X_{\lambda_i}=</tex>л.о.<tex>_{i=1,2...k}\{x_1^{(i)},x_2^{(i)}...x_{r_i}^{(i)}\}</tex>