Theorem OBUTR Orthonormal Basis for Upper Triangular Representation

Suppose that $A$ is a square matrix. Then there is a unitary matrix $U$, and an upper triangular matrix $T$, such that \begin{align*} \adjoint{U}AU=T \end{align*} and $T$ has the eigenvalues of $A$ as the entries of the diagonal.

Proof
(in context)