Lecture 09 - Independence, Basis, and Dimension