theorem Th4: :: XBOOLE_1:4

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