任意のn次正方行列Aに対し、適当なユニタリ行列Uを取れば

U^(-1)AU=(三角行列)

となる。

(p157 �W行列の標準化)