松坂和夫著『線型代数入門』を読んでいます。

べき零変換の不変系の一意性の証明ですが、歯切れが悪いですね。