Jordan normal form
A more precise statement is given by the Jordan normal form theorem, which states that in this situation, "A" is similar to an upper triangular matrix of a very particular form. The simpler triangularization result is often sufficient however, and in any case used in proving the Jordan normal form theorem.