>>32

> 齋藤さんは、 dim W(β_i) ≧ m_i のほうは証明しています。
>
> そして、 W(β_1) + W(β_2) + … + W(β_p) が直和であることも証明しています。

この２つ証明しててまだ分からないならその本にで出せるレベルにないよ