Jordan normal form
and underlies Jordan normal form of operators.