theorem
  for x being object holds x is set;
