שינויים
/* העשרה */
====העשרה====
*לכל מרחב וקטורי יש בסיס.
*ניקח שרשרת מקסימלית של קבוצות בת"ל M.
*נגדיר את האיחוד הכללי של M להיות B.
*B בת"ל, כי אם יש בה וקטורים תלויים, הם הגיעו מאחד הקבוצות (בשרשרת כל מספר סופי של קבוצות מוכלות באחת מהן)
*B פורשת, אחרת היה ניתן להגדיל אותה באמצעות וקטור שאינו נפרש על ידה, היינו מקבלים קבוצה בת"ל חדשה שניתן להוסיף לשרשרת המקסימלית, בסתירה.
<videoflash>qzUDzq2pB1Q</videoflash>
====משפט השלישי חינם====
