なぜ、はじめから以下のように書かなかったんですかね？
この本は本文は非常にいいのですが、問題がこんな感じのものが多いです。

証明するか判例をあげよ：
V が有限次元ベクトル空間であり、 R, S, T ∈ L(V) が R * S * T が全単射であるようなものたちとすれば、 S は全単射である。