Metric Space Proof: Finite Intersections of Open Sets are Open