\usepackage{amsthm} % в т.ч. для оформления доказательств
\begin{proof} тут доказательство! \end{proof}