Intersection of Closed Set with Compact Subspace is Compact

Theorem
Let $T = \left({S, \tau}\right)$ be a topological space.

Let $H \subseteq S$ be closed in $T$.

Let $K \subseteq S$ be compact in $T$.

Then $H \cap K$ is compact in $T$.