let U be Universe; :: thesis: On U is Ordinal
On U = card U by Th9;
hence On U is Ordinal ; :: thesis: verum