שינויים
/* אם U תת-מרחב של V ומתקיים dimU=dimV. האם ניתן להסיק מכך ש-U=V? אם כן, מדוע? */
אם U תת-מרחב של V ומתקיים dimU=dimV. האם ניתן להסיק מכך ש-U=V? אם כן, מדוע?
(לא מתרגל): בסיס במרחב U הוא קבוצה בת"ל בV, וידוע כי מס' האיברים בבסיס של U שווה למימד של V. נקבל שזה בסיס לפי השלישי חינם.