newtheoremstyle
qedhere
qedsymbol
swapnumbers
theoremstyle
\begin{proof}
