theorem Th13: :: CLASSES2:13

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