Intersection of Closed Set with Compact Subspace is Compact/Proof 1

Proof
By Closed Set in Topological Subspace, $H\cap K$ is closed in $K$.

By Closed Subspace of Compact Space is Compact, $H\cap K$ is compact.