`\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…
Quanto al problema con le immagini, mi pare di averti già detto che è difficile risponderti senza saperne di più: invia un documento minimale che riproduce il problema.
Ciao,
L.