数域F上的每一个线性空间都有基和维数。
出自:焦作师范高等专科学校高等代数