theorem Thm05: :: SRINGS_4:5

for X1, X2, X3 being set holds union {X1,X2,X3} = (X1 \/ X2) \/ X3