theorem :: ZFMISC_1:78

for A, B being set holds union (A \/ B) = (union A) \/ (union B)