ובמשפט 2 ככה הגדרנו סכום ישר האם הכוונה פה שההגדרה של סכום ישר הוא שהחיתוך הוא אפס ואז להראות שזה או"א לכל וקטור יש הצגה יחידה
תשובה: לגבי משפט 17: <math>r(T)=rank(T)</math> ו <math>r([T]^E_F)=rank([T]^E_F)</math>.
לגבי משפט 2: כן, אם מגדירים סכום ישר לפי זה שחיתוך המרחבים הוא <math>\{0\}</math>.