Lema: Neka je
bilo koji nenula vektor i
bilo koji skup vektora takav da je vektor
u linearnom omotaču skupa
Tada postoji vektor
takav da za skup
važi
a) Skupovi
i
imaju iste linearne omotače.
b) Skup
je linearno nezavisan ako i samo ako je skup
linearno nezavisan.
Dokaz: Neka su
u linearnom omotaču skupa
nije nula vektor, biće
sledeće elementarne operacije: najpre vektor
a potom dobijenom vektoru dodajmo vektor
pomnožen sa
za sve
ako takvih ima. Rezultat će biti skup
a osobine a) i b) će biti posledice činjenice da je skup
Sada se tvoje tvrđenje dokazuje indukcijom po broju
vektora iz sistema
koji se ne pojavljuju u sistemu
Ako među vektorima
nema onih koji se ne pojavljuju u sistemu
onda tvrđenje svakako važi. U suprotnom, neka se vektor
ne pojavljuje u sistemu
Pošto su vektori
linearno nezavisni,
ne može biti nula vektor, pa će postojati neki vektor
ima isti linearni omotač kao skup
Sada tvrđenje dokazuje primenom induktivne pretpostavke na sistem
i sistem koji se dobija zamenom vektora
u sistemu
vektorom
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.