שינויים
/* בת"ל מקסימלית היא בסיס */
נניח בשלילה ש-V לא מוכל שווה בspA, כלומר קיים וקטור b ששייך ל V\spA.
b לא שייך לspA כלומר b אינו צי"ל של איברי A (הגדרת span) גורר ש A איחוד נקודון b בת"ל וזו סתירה לנתון ולכן V=spA ולכן A בסיס ל-V.
בבקשה זה חשוב .