Principal Ultrafilter is All Sets Containing Cluster Point

Theorem
Let $S$ be a set.

Let $\powerset S$ denote the power set of $S$.

Let $\FF \subset \powerset S$ be a principal ultrafilter on $S$.

Let its cluster point be $x$.

Then $\FF$ is the set of all subsets of $S$ which contain $x$.