theorem :: CLASSES2:32

for A being Ordinal
for W being set st W is Tarski & A in On W holds
card (Rank A) c= card W