[0J5] Suppose the topological space is \(T_ 2\) (see Definition [0G8]↺↻). Prove that every compact subset is closed.