**Theorem 2.1.8.**

If *A* is an *n* × *n* matrix, then the following are equivalent.


The following algorithm is for diagonalizing a matrix
