Delinear una prueba sin anidar entornos detallados

Question

Cuando escribo pruebas, con frecuencia me resulta útil describir cómo haré para demostrarlas antes de probarlas. Actualmente, lo hago como se muestra en este MWE:

\documentclass{article}
\usepackage[shortlabels]{enumitem}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
    Every square is a rectangle, but not all rectangles are squares.
\end{theorem}
\begin{proof}
\hfill
\begin{enumerate}[{We prove:}]
\item
\begin{enumerate}
\item
    all squares are rectangles and
\item
    not all rectangles are squares.
\end{enumerate}
\end{enumerate}
Proof here.
\end{proof}
\end{document}

Lo que da la salida:

Que es más o menos como quiero que se vea el resultado. Sin embargo, esto tiene el problema de "comerse" dos de mis cuatro anidamientos de lista, lo que significa que sólo puedo anidar esto dos veces (durante pruebas largas y complicadas he tenido que anidar tres esquemas en el pasado, y no lo veo como (es imposible que algún día desee utilizar cuatro).

He intentado solucionar este problema, tabularpero no se puede colocar el enumerateentorno dentro tabular(que yo sepa), y no estoy muy seguro de qué otra manera hacerlo. ¿Alguna sugerencia?

Editar: el principal problema que tengo con mi "solución" actual es que el código es increíblemente feo en mi opinión, además del problema de las limitaciones de anidamiento. Por esta razón, me gustaría una solución que evite las listas de anidamiento, aunque si Esa es la única solución, ciertamente lo haré.

Answer 1

enumitemte permite crear entornos enumerados con mayor profundidad (creo que hasta 10 al menos):

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{enumitem}
\newlist{myenum}{enumerate}{5}
\setlist[myenum]{label=\arabic*}
\begin{document}
  \begin{myenum}
    \item level 1
    \begin{myenum}
      \item level 2
      \begin{myenum}
        \item level 3
        \begin{myenum}
          \item level 4
          \begin{myenum}
            \item level 5
          \end{myenum}
        \end{myenum}
      \end{myenum}
    \end{myenum}
  \end{myenum}
\end{document}

Answer 2

Si solo desea tener un código más atractivo, defina un nuevo entorno:

\documentclass{article}
\usepackage[shortlabels]{enumitem}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newenvironment{proofoutline}[1]
{\begin{enumerate}[{#1}]\item\begin{enumerate}}
{\end{enumerate}\end{enumerate}\par\noindent}

\begin{document}
\begin{theorem}
  Every square is a rectangle, but not all rectangles are squares.
\end{theorem}
\begin{proof}
  \hfill
    \begin{proofoutline}{We prove:}  
      \item
        all squares are rectangles and
      \item
        not all rectangles are squares.
    \end{proofoutline}
  Proof goes here
  \end{proof}
\end{document}