Category:Intersection of Closed Set with Compact Subspace is Compact