Class of All Ordinals is Minimally Superinductive over Successor Mapping

Theorem
The class of all ordinals $\On$ is the class which is minimally superinductive under the successor mapping.