theorem Th36: :: CARD_FIL:36

for X being set
for N being Cardinal st N c= card X holds
ex Y being set st
( Y c= X & card Y = N )