Corrolary

  • Let
  • With as the Eigenvalues of
  • With Then, the following are equivalent:
  1. is Diagonalizable