מה הקשר למשפט המימדים? פשוט לכל w in U+V קיימים u,v ששייכים ל U,V בהתאמה כך ש w = u+v. בפרט u,v שניהם שייכים ל UuV ולכן (w in sp(UuV. ברור גם ש sp(UuV) subset of U+W לדוגמא בגלל סגירות לחיבור של U+V
בהוכחת המשפט מצאנו את הקב' UuV ורצינו להוכיח שהיא בת"ל ופורשת את U+V , ולא הבנתי איך מוכיחים שפורשת.
== שאלה ==