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

以下の画像の青で囲った部分の式が無駄です。

http://i.imgur.com/hkmRptz.jpg