定理が列挙リストで始まる場合、定理の下と上の垂直余白は同じではありません。

Question

上の図からわかるように、「解」定理の上余白と下余白が異なります。 同じにするにはどうすればよいでしょうか?LaTeX以下にコードを示します。

\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

どうやら とparskipはenumitemお互いに好きではないようです。 一番いいのは、parskipここに荷物を落とすことです。 ( の本当の問題の原因がどこにあるか突き止めてみますparskip)

\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}