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