theorem Th22: :: CARD_2:23

for K being Cardinal holds 2 *` K = K +` K