theorem Th2: :: RAMSEY_1:2

for X being set st X is infinite & X c= omega holds
card X = omega by WAYBEL12:2, CARD_1:5, CARD_1:47;