theorem Th19: :: CLASSES2:19

for W being set st W is Tarski holds
card W is limit_ordinal