Equivalence of Definitions of Locally Compact Hausdorff Space

Theorem
Let $T=(S,\tau)$ be a Hausdorff topological space.

Then the following definitions of locally compact are equivalent:

2 implies 1
Follows directly from Neighborhood Basis is Non-Empty.