Closure of Subset of Closed Set of Metric Space is Subset/Proof 1