consider x being Element of X;
{x} in singletons X ;
hence not singletons X is empty ; :: thesis: verum