שינויים
/* הלמה של צורן */
'''תרגיל.''' הוכח שלכל מרחב וקטורי קיים בסיס
'''הוכחה.''' יהיה<math> V </math> מרחב וקטורי. נביט באוסף הקבוצות הבלתי תלויות שלו <math>\{B\subseteq V| B \; is \; linearly \; independent \}</math>. (האוסף לא ריק כי וקטור בודד שונה מאפס מהווה קבוצה בת"ל)
תהא <math>\{B_i\}_{i\in I}</math> שרשרת של קבוצות בת"ל.
