\begin{circuslaw}{elim-repeated-seq-rec}
\begin{circusaction*}
  \circmu X \circspot A \circseq A \circseq \dots \circseq A \circseq X ~ \equiv ~ \circmu X \circspot A \circseq X
\end{circusaction*}
\end{circuslaw}
