Prove that R^n is separable and second countable. Move the section on dense subsets further down in the notes