theorem Th82: :: CARD_3:85

for A being Ordinal holds
( A is infinite iff omega c= A )