theorem Th34: :: CLASSES2:34

for W being set st W is Tarski holds
card W = card (Rank (card W))