Die vertikalen Ränder unter und über einem Theorem sind nicht gleich, wenn das Theorem mit einer Aufzählungsliste beginnt

Question

Wie Sie im obigen Bild sehen können, sind die oberen und unteren Ränder des „Lösungs“-Theorems unterschiedlich. Wie kann ich das erreichen? Ich stelle den LaTeXCode unten vor.

\documentclass[oneside,12pt]{article}
\usepackage[left=3em,right=3em,top=3em]{geometry}
\usepackage{microtype}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage{parskip}
\usepackage{amssymb}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem*{sol}{Solution}
\usepackage{enumitem}
\setlist[enumerate,2]{label=\arabic*.}
\begin{document}
\textbf{Beta reduce}\quad Evaluate (that is, beta reduce) each of the following
expressions to normal form. We strongly recommend writing out the steps on
paper with a pencil or pen.
\begin{enumerate}
\item $(\lambda abc.cba)zz(\lambda wv.w)$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda bc.cbz)z(\lambda wv.w)$
    \item $(\lambda c.czz)(\lambda wv.w)$
    \item $(\lambda wv.w)zz$
    \item $(\lambda v.z)z$
    \item $z$
    \end{enumerate}
  \end{sol}
\item $(\lambda x.\lambda y.xyy)(\lambda a.a)b$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda y.(\lambda a.a)yy)b$
    \item $(\lambda a.a)bb$
    \item $bb$
    \end{enumerate}
  \end{sol}
\item $(\lambda y.y)(\lambda x.xx)(\lambda z.zq)$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda x.xx)(\lambda z.zq)$
    \item $(\lambda z.zq)q$
    \item $qq$
    \end{enumerate}
  \end{sol}
\end{enumerate}
\end{document}

Answer 1

Anscheinend mögen sich parskipund nicht. Am besten ist es, das Paket hier abzugeben. (Ich werde versuchen, herauszufinden, wo die wahre Ursache des Problems liegt .)enumitemparskipparskip

\documentclass[oneside,12pt]{article}
\usepackage[left=3em,right=3em,top=3em]{geometry}
\usepackage{microtype}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
%\usepackage{parskip}
\usepackage{amssymb}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem*{sol}{Solution}
\usepackage{enumitem}
\setlist[enumerate,2]{label=\arabic*}
\begin{document}
\textbf{Beta reduce}\quad Evaluate (that is, beta reduce) each of the following
expressions to normal form. We strongly recommend writing out the steps on
paper with a pencil or pen.
\begin{enumerate}
\item $(\lambda abc.cba)zz(\lambda wv.w)$

  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda bc.cbz)z(\lambda wv.w)$
    \item $(\lambda c.czz)(\lambda wv.w)$
    \item $(\lambda wv.w)zz$
    \item $(\lambda v.z)z$
    \item $z$
    \end{enumerate}
  \end{sol}%\mbox{}%

\item $(\lambda x.\lambda y.xyy)(\lambda a.a)b$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda y.(\lambda a.a)yy)b$
    \item $(\lambda a.a)bb$
    \item $bb$
    \end{enumerate}
  \end{sol}
\item $(\lambda y.y)(\lambda x.xx)(\lambda z.zq)$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda x.xx)(\lambda z.zq)$
    \item $(\lambda z.zq)q$
    \item $qq$
    \end{enumerate}
  \end{sol}
\end{enumerate}
\end{document}