The usual way to do this is to prove that the first implies the second, the second implies the third, and so on. The obvious way to write that would be with itemize:
Code: Select all
\documentclass{article}
\usepackage{amsthm}
\begin{document}
\begin{proof}
\begin{itemize}
\item[$(a\Rightarrow b)$] This is the proof
\end{itemize}
\end{proof}
\end{document}
$(a\Rightarrow b)$
text overlap the "Proof." header.Leaving an empty line before the itemize to prevent that doesn't look acceptable, though.
How can I fix that, then?