Existence of Hartogs Number/Proof 2

Proof
Follows immediately from Cardinal Equal to Collection of All Dominated Ordinals.

The collection of all dominated ordinals, $\left\{ y \in \operatorname{On} : y \preccurlyeq S \right\}$ is the Hartogs number of $S$.