Poistin
Jos V on separoituva, siitä seuraa, että mikä tahansa V:n vektori voidaan kirjoittaa (mahdollisesti äärettömänä) lineaarikombinaationa S:n vektoreista.
Lineaariset yhdistelmät ovat määritelmällisesti äärellisiä, joten meidän on sanottava hieman enemmän, jotta tämä väite olisi täsmällinen. Silloinkin en ole varma, että se on totta yleisesti (Hilbert-avaruuksissa se kuitenkin varmasti toimii).  18:12 29. toukokuuta 2003 (UTC)