theorem Th23: :: CARD_5:24

for a being Aleph holds omega c= cf a