for x, y being set st x in union {{}} & y in union {{}} holds
{x,y} in {{}} ;
hence CompleteSGraph {} = {{}} by Th32; :: thesis: verum