theorem :: XBOOLE_1:91

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