consider Y being set such that
A1: ( Y c= X & card Y = omega ) by CARD_3:87;
reconsider YY = Y as Subset of X by A1;
take YY ; :: thesis: YY is denumerable
thus YY is denumerable by A1, CARD_3:def 15; :: thesis: verum