שינויים
/* מימדים */
תודה מראש.
'''>> כן. וודאי מימד U לא גדול ממימד V. נניח בשלילה שמימדיהם שווים והמימד הוא n. ניקח בסיס ל-U: <math>v_1,...,v_n</math>, אזי זו קבוצה בת n אייברים בת"ל ב-U ולכן זו קבוצה בת n אייברים בת"ל ב-V. היות ומימד V הוא n הרי שזו קב' בת"ל מגודל המימד ולכן בסיס ל-V. ולכן <math>U=sp{v_1,...,v_n}=V</math>, סתירה.
'''באותו אופן, אם U מוכל ב-V ומימדיהם שווים U=V.
עדי