theorem :: CLASSES2:17

for m being Cardinal
for W being set st W is Tarski & m in W holds
m c= W by Th5;