theorem
  union { x } = x;
