実は>>34で
>商群U/U1は
>「対角成分がすべて1で、ランク１の対角並行成分”以外”は０」
の行列と書いてますが、実は単純にそういう行列を取ってきて積をとってもうまくいきません
（とはいえ、商群が加法群K^(n-1)と同型であることは確かですので、大勢に影響ありません）

また、U2以降はもっと早く進められるかもしれません
つまり、１段づつでなくてよいということです