path: root/test/phase5/exact-induction-initial.tex

\begin{proposition}\label{phase5_initial_set_induction}
    Suppose $x\in A$.
    Then $x=x$.
\end{proposition}
\begin{proof}[Proof by \in-induction on $x$]
    Follows.
\end{proof}