theorem Th44: :: NORMFORM:44

for A being set
for B, C being Element of Fin (DISJOINT_PAIRS A) holds mi ((mi B) \/ C) = mi (B \/ C)