שינויים
/* תזכורת למשפט המימדים */
''' למעשה זה פשוט משפט הדרגה עבור T מצומצם על W, כלומר: <math>T/W:W->T(W)</math>
'''<math>T(W)</math> זה <math>Im(T/W)</math> ו-<math>kerT\Bigcup bigcap W</math> זה <math>ker(T/W)</math>.
'''לכן הסכום היניהם הוא מימד W, שהוא 7. עדי