theorem :: ZFMISC_1:2
union {} = {}