טענה: יהיה <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math>. תהא <math>S=\{v_{1},\dots v_{n}\}</math> קבוצה ונניח כי קיים <math>i</math> כך ש <math>v_i</math> תלוי באחרים.
אזי <math>span(S)=spabspan(S\setminus \{v_i\})</math>
כמובן שלפעולה זו יש סוף - מתישהו לא ניתן לזרוק אף וקטור מבלי לגרוע מהמרחב הנפרש. הקבוצה שנשארנו איתה תהיה בסיס.