Kasten beim Beweisende

[lockstep]

Ah ja, mechanicus werkelt auch gerade ...

"Beweis" statt "proof" lässt sich durch babel (oder ein anderes Sprachpaket) erreichen. Wenn dir zusätzlich daran gelegen ist, dass der Ausdruck "Beweis" fett statt kursiv erscheint, hilft folgendes:

\documentclass{article}

\usepackage[latin9]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[ngerman]{babel}

\usepackage{amsmath}
\usepackage[amsmath,amsthm,thmmarks]{ntheorem}

\renewtheoremstyle{nonumberplain}%
    {\item[\normalfont\bfseries\hskip\labelsep ##1.]}%
    {\item[\normalfont\bfseries\hskip\labelsep ##1\ (##3).]}

\begin{document}

\begin{proof}
Die Aussagen blubb und bla sind logisch äquivalent.
\end{proof}

\end{document}

lockstep