Properties of Class of All Ordinals/Superinduction Principle

Theorem
Let $\On$ denote the class of all ordinals.

Let $A$ be a class which satisfies the following $3$ conditions:

That is, let $A$ be a superinductive class under the successor mapping.

Then $A$ contains all ordinals:
 * $\On \subseteq A$