theorem Th72: :: CARD_2:73

for A being Ordinal st A is limit_ordinal holds
A *^ (succ 1) = A