# test: IGNORE

\begin{forthel}
    Let $x, y$ denote objects.

    \begin{lemma}
        There exist $x, y$ such that $x = y$.
    \end{lemma}
\end{forthel}
