Existence of Hartogs Number/Proof 2

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

The collection of all dominated ordinals:
 * $\set {y \in \On: y \preccurlyeq S}$

is the Hartogs number of $S$.