theorem Th73: :: CARD_2:74

for A being Ordinal st omega c= A holds
1 +^ A = A