שינויים
/* B בת"ל */
כמו כן, ל-v יש הצגה '''יחידה''' כצירוף לינארי של איברי הבסיס של U ולכן מתקיים:
::<math>v=d_1v+1d_1v_1+...+d_ku_kd_kv_k+0\cdot u_1+...+0\cdot u_p = a_1v_1+...+a_kv_k+b_1u_1+...+b_pu_p</math>
ולכן <math>b_1=b_2=...=b_p=0</math>.
