Prove that if $A,B$ are closed and disjoint in a metric space, then they are contained in disjoint neighborhoods
Prove existence of disjoint open sets containing disjoint closed sets in a topology induced by a metric.