theorem Th36: :: CARD_1:37

for x being object st x in omega holds
x is cardinal