
theorem Th35:
CompleteSGraph {} = {{}}
proof
  for x, y being set st x in union {{}} & y in union {{}}
   holds {x,y} in {{}};
 hence CompleteSGraph {} = {{}} by Th32;
end;
