theorem Th56:
  {} in U
proof
  {} c= the Element of U;
  hence thesis by CLASSES1:def 1;
end;
