`\documentclass{article}
\usepackage[italian]{babel}
\usepackage{amsmath,amsthm}\makeatletter
\newenvironment{modproof}
{\protected@edef\theparentequation{\theequation}%
\setcounter{parentequation}{\value{equation}}%
\setcounter{equation}{0}%
\renewcommand{\theequation}{\arabic{equation}}%
\begin{proof}}
{\end{proof}\setcounter{equation}{\value{parentequation}}}
\makeatother\begin{document}
\renewcommand{\proofname}{\normalfont\bfseries Dimostrazione}
\begin{modproof}
Prova.
\end{modproof}\end{document}
`
Così funziona, ma non è il massimo. Passo la palla agli esperti per una soluzione più elegante…
Non c’e’, veramente, una soluzione elegante. Scrivere l’intestazione di una dimostrazione in nero e’ davvero pacchiano. Ma in quel modo funziona; c’e’ solo una piccola faccenda da mettere a posto, per evitare sorprese quando si cambia lingua con babel: e’ meglio
`\addto\captionsitalian{\renewcommand{\proofname}{\normalfont\bfseries Dimostrazione}}`
Ciao
Enrico