theorem Th24: :: XBOOLE_1:24

for X, Y, Z being set holds X \/ (Y /\ Z) = (X \/ Y) /\ (X \/ Z)