theorem
  {x,y} \/ X <> {};
