\DisplayProof
\end{small}

\end{document}
