theorem Th22: :: CARD_5:23

for a being Aleph holds cf (nextcard a) = nextcard a