consider x being Element of D;
take <*x*> ; :: thesis: not <*x*> is empty
thus not <*x*> is empty ; :: thesis: verum