theorem Th23: :: XBOOLE_1:23

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