One of the nicer results in basic finite-dimensional vector space theory! This video gives a run-through of the proof, along with a few remarks.