ここで、formula_203は正規直交列を持ち、formula_204、そしてformula_199上三角行列である。