Transfinite Induction/Schema 1

Theorem
Let $\map P x$ be a property

Suppose that:
 * If $\map P x$ holds for all ordinals $x$ less than $y$, then $\map P y$ also holds.

Then $\map P x$ holds for all ordinals $x$.