theorem
  --seq = seq;
