set x = the Element of X;
{ the Element of X} in singletons X ;
hence not singletons X is empty ; :: thesis: verum