@MISC{VECTSP_7.MIZ,
  AUTHOR = {Trybulec, Wojciech A.},
  TITLE = {Basis of Vector Space},
  DAY = {27},
  MONTH = {July},
  YEAR = {1990},
  ADDRESS1 = {Warsaw University},
  SUMMARY = {We prove the existence of a basis of a vector space, i.e., a set of vectors that
generates the vector space and is linearly independent. We
also introduce the notion of a subspace generated by a set of vectors
and linear independence of set of vectors.}}

