訂正します：

固有多項式が (x^2 + 1) * (x-1) のような場合にも実数の範囲で上三角化できることになってしまいます。