/macros/latex/contrib/proof-at-the-end/