齋藤毅『線形代数の世界―抽象数学の入り口 (大学数学の入門)』で、系2.4.7の証明における(1)→(2)の証明においての存在をなぜ言える？と思ったが、暗黙に系1.6.8（部分空間は直和因子になる）を使っているのか。 （なお、僕が参照しているのは2007年初版(!)で…