Ambienti definiti con \newtheorem che finiscano con \qed ?

Ciao,
vorrei sapere come si fa ad avere ambienti definiti con \newtheorem, per esempio
\newtheorem{def}{Definition},
che alla fine mettano automaticamente il \qed, come fa l’ambiente {proof}.

Lo chiedo perche’, quando una {def} finisce con un’equazione, non riesco a mettere manualmente il \qed sulla stessa riga in fondo a destra, ma solo:
(i) sulla stesas riga dell’equazione, a poca distanza e non in fondo, oppure
(ii) in fondo a destra, ma sulla riga sotto a quella dell’equazione.
Invece nell’ambiente {proof} posso usare \qedhere prima della fine dell’equazione, e superare il problema.
Pero’ questo non funziona per {def}.
Credo sia perche’ {proof}, in qualche modo, un \qed “se lo aspetta”.
mentre {def} non si aspetta nessun quadratino, e quindi rimane indifferente a \qedhere.

Sto usando il pacchetto {amsthm}, dentro la classe {article}.

Inoltre, ho definito un theoremstyle cosi’:

\newtheoremstyle{hypstyle}{}{}{}{}{\bf}{.}{ }%
{\thmname{#1}\thmnumber{ (H#2)}\thmnote{}}

\theoremstyle{hypstyle}
\newtheorem{hyp}{Hypothesis}

che mi produce:
Hypothesis (H1). …
Hypothesis (H2). …
ecc.

Stessa domanda di sopra: c’e’ un modo di insegnare a questo {hyp} che deve mettere un \qed alla fine \end{hyp} ?

Oppure, se conoscete un modo generale per produrre \qed in fondo a destra nelle equazioni fuori da {proof}, ben venga, li rifaccio tutti manualmente (sono pochi casi).

Grazie mille.
(Se ho dimenticato alcune informazioni necessarie perche’ possiate rispondere, scusate, sono nuovo del forum… chiedetemele! 😀 )

Salegrosso.

`\newtheorem{hypbase}{Hypothesis}
\newenvironment{hyp}{\pushQED{\qed}\hypbase}{\popQED\endhypbase}`
È essenzialmente la stessa tecnica che usa l’ambiente proof. Definisci un teorema “ausiliario” e poi un ambiente in termini di questo. Con \begin{hyp}…\end{hyp} ottieni automaticamente il quadratino che però non viene messo se compare un \qedhere.

Non usare \bf, ma \bfseries; il primo comando è “deprecato” ed esiste solo per compatibilità.

Ciao
Enrico