\usepackage{paralist}


\def\Proofi{\begin{enumerate} [\textbullet]}
\def\endProofi{\end{enumerate}}
\def\Proofii{\begin{enumerate} [\textbullet\textbullet]}
\def\endProofii{\end{enumerate}}
