שינויים
/* סעיף ג */
נניח כי <math>AA^t=0</math>. נובע בקלות מהתרגיל שפתרנו ב[[88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/2#תרגיל 5.11|מערך תרגול 2]] כי A=0. כעת, נניח כי <math>BAA^t=0</math> נכפול במשוחלפת של B ונקבל <math>0=BAA^tB^t=BA(BA)^t</math> ואז שוב BA=0
==סעיף ג==
הוכחה:
נובע ממשפט המימדים כי <math>dimV_1+dimV_2\geq 2n+1</math> לכן בלי הגבלת הכלליות ניתן להניח כי <math>dimV_1\geq n+1</math>. באופן דומה <math>dimV_1\geq n+1</math> ומכיוון ש <math>V_1+U_1\subseteq V</math> מתקיים לפי משפט המימדים כי <math>dim (V_1\cap U_1)>0</math>.
מכיוון שהסכום מכיל את כל החיתוכים האפשריים, זוג אחד מבינהם חייב להיות חיתוך לא אפס, ולכן הסכום אינו אפס.
