theorem Th18: :: CARD_2:19

for K, M, N being Cardinal holds (K +` M) +` N = K +` (M +` N)