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