Para mostrar a volta, lembre-se das seguintes definições:

Um ordinal $\kappa$ é um cardinal se não há bijeção entre ele e nenhum de seus segmentos iniciais.

Dado um cardinal $\kappa$ e $x \in \kappa$. O conjunto $X = \{y \in \kappa: y \leq x \}$ é um segmento inicial de $\kappa$.