theorem Th22: :: ORDINAL1:26

for X being set holds
not for A being Ordinal holds A in X