set d = the Element of D;
the Element of D c= union D by ZFMISC_1:74;
hence not union D is empty ; :: thesis: verum