theorem Th20: :: CARD_2:21

for K being Cardinal holds K *` 1 = K