#נשלים אותו לבסיס לU. נסמן <math>\{v_1,...,v_k,u_1,...,u_m\}</math>
#נשלים את הבסיס לחיתוך גם לבסיס לW. נסמן <math>\{v_1,...,v_k,w_1,...,w_p\}</math>
#'''נוכיח''' (וזה עיקר העבודה) שהקבוצה <math>\{v_1,...,v_k,u_1,...,u_m,w_1,...,w_p\}</math> הינה בסיס לVלU+W#המשל נובע בקלות מספירת הוקטורים בבסיסים שכן <math>dimV dim(U+W) = k+m+p=(k+m)+(k+p) -k</math>
===תרגיל 8.3===