theorem Th11: :: CLASSES2:11

for X, W being set st W is Tarski & X in W holds
card X in W