theorem Th19:
  for u,v,w being Element of UN holds {u,v,w} is Element of UN
proof
  let u,v,w be Element of UN;
  {u,v,w} = {u,v} \/ {w} by ENUMSET1:3;
  hence thesis;
end;
