:ואתה לא צריך להראות שסכום של x וy הוא איבר בV זה טריוויאלי מסגירות. אתה צריך להוכיח ש'''כל''' v בV הוא מהצורה v=x+y עבור x,y כלשהם בIm-ים המתאימים.
::אוקיי, אז אם אני לוקח v ששייך לV, ואחרי כמה פעולות מגיע ממנו לX+Y, זה בסדר?
::האם מותר לי גם (יהיה לי הרבה יותר קל אם כן) להניח שקיימים v,x,y כמו מקודם, ואז להראות אחרי כמה פעולות ש v=a וגם x+y=a
::(a ביטוי מסוים שלא אכתוב כדי לא לגלות את התשובה). זה בסדר? אפשר להגיד שאם זה ואם אין חיתוך בין הim-ים, אז ה-דרוש מתקיים?
::ועוד דבר, אני יכול להניח שT1 וT2 הפיכות? תודה!