שינויים

נניח בשלילה ש-V לא מוכל שווה בspA, כלומר קיים וקטור b ששייך ל V\spA.

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