Locally Compact iff Open Neighborhood contains Compact Set

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

Then
 * $T$ is locally compact


 * $\forall X \subseteq \tau, x \in X: \exists Y \subseteq S: x \in Y^\circ \land Y \subseteq X \land Y$ is compact

Sufficient Condition
Let
 * $T$ is locally compact

Let $X \subseteq \tau, x \in X$.

By Locally Compact iff Open Neighborhood contains Compact Open Neighborhood
 * $ \exists U \in \tau: a \in U \land U \subseteq X \land U$ is compact