http://imgur.com/5Awr8kN.jpg
http://imgur.com/Ohi6Cu9.jpg

↑は笠原晧司著『線型代数と固有値問題』です。

定理1-8の証明が意味不明です。
2枚目の画像の赤い線を引いたところです。