theorem Th21: :: CARD_2:22

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