theorem
  {} <> <* x,y *>;
