証明の終わりは amsthm パッケージを使っていれば,
\begin{proof} \end{proof}
自分で使うには
\usepackage{amssymb}% \Box に必要 \newcommand{\qed}{\hfill$\Box$}% 右隅に白抜きの四角 \newcommand{\anqed}{\hbox{\rule{6pt}{6pt}}}% 黒い正方形