theorem :: CLASSES2:15

for m being Cardinal
for W being set st W is Tarski & m in card W holds
m in W