paragraph_text: Ako bi pretpostavili da takav skup vektora <math> f </math> postoji, tada bi se svaki od <math> m </math> vektora <math> f_i </math> mogao prikazati kao linearna kombinacija <math> n </math> vektora iz skupa <math> e, </math> odnosno Rješavanjem tog sustava <math> m </math> jednadžbi s <math> n </math> nepoznanica, pri čemu je broj jednadžbi manji od broja nepoznanica, daje parametarska rješenja, što znači da se vektor <math> f_i </math> ne može jednoznačno prikazati pomoću vektora iz skupa <math> e </math>. To je pak u kontradikciji s pretpostavkom da je skup <math> e </math> baza, pa početna pretpostavka da postoji traženi skup <math> f </math> nije točna.