 Schur triangularization

Every complex square matrix is unitarily similar to an upper triangular matrix. The proof selects an eigenvector, extends it to an orthonormal basis, and applies induction to the compression on its orthogonal complement.