Intersection of Closed Set with Compact Subspace is Compact

Theorem
Let $T = \struct {S, \tau}$ 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$.