. This proposition is easily proved by induction, and might be thought to imply the other. But in fact it does not, since there might be no such class as
. What it does imply is this: If
is an inductive cardinal such that there is at least one class having
members, then
is not equal to