Talk:Intersection of Closed Set with Compact Set is Compact/Proof 1