Compact Subset of Compact Space is not necessarily Closed

Theorem
A compact subset of a compact space not necessarily closed.

Proof
Let $S$ be a set containing more than one element.

Let $\tau = \set {S, \O}$ be the indiscrete topology on $S$.

Let $x \in S$.

Let $H = S \setminus \set x$.

Then $H$ is a proper subset of $S$.

Then from Subset of Indiscrete Space is Compact and Sequentially Compact, the subspace induced by $\tau$ on $H$ is a compact subspace of $\struct {S, \tau}$.

But from Closed Sets in Indiscrete Topology, the only closed subsets of $\struct {S, \tau}$ are $S$ and $\O$.

Thus $H$ is a compact subspace of $\struct {S, \tau}$ which is not closed in $S$.