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