שינויים
/* תרגיל 7.17 */
===תרגיל 7.17===
יהא V מ"ו, ותהא B קבוצה המוכלת בV. הוכח שהתנאים הבאים שקולים:
====הוכחה====
נניח B בסיס לV, ברור מכך שB בת"ל שהוא אינו מכיל את אפס. תהי A קבוצה המוכלת בB נסמן ב.ה.כ <math>B=\{v_1,...,v_n\}</math> ו <math>A=\{v_1,...,v_j\}</math>. יש להוכיח בעצם שמתקיים <math>V=span\{v_1,...,v_j\}\oplus span\{v_{j+1},...,v_n\} </math>. לצורך זה יש להוכיח שני דברים: