証明の最後に別行立て数式を置くと，qedsymbolは その次の行に配置される．数式と同じ行に配置させるには，
\begin{proof} ～～なので， \[ （数式） \qedhere \] \end{proof}
とするとよい．
補遺:
enumerate環境でも同じことができた．
\begin{proof} \begin{enumerate} \item 一個目． \item 二個目． \item 三個目． \qedhere \end{enumerate} \end{proof}
で，1行節約できる．他の環境(itemize等)でも同様に動作しそう．
