consider d being Element of D;
d c= union D by ZFMISC_1:92;
hence not union D is empty ; :: thesis: verum