Finish proving that euclidean topology and product topology on R^n are the same