שינויים

'''>> כן. וודאי מימד 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>.