ich habe Probleme mit dem \theoremesymbol-Befehl. Am Ende des Beweises erscheint das kleine Kästchen nicht, wenn der Beweis z.b. mit einer align- Umgebung endet (auch wenn da noch eine enumerate-umgebung drumherum ist). Wenn ich dann dahinter noch ein paar Worte schreibe ist das Kästchen wieder da, wenn nicht nicht. Gibt es dafür eine Lösung, ohne das ich immer noch sinnlose Sätze am Ende schreiben muss??
vielen Dank
Minimalbeispiel:
\documentclass[a4paper,10pt, oneside, ngerman]{scrbook}
\usepackage{a4wide}
\usepackage[utf8]{inputenc}
\usepackage[ngerman]{babel}
\usepackage[breaklinks]{hyperref}
\usepackage{url}
\usepackage[numbers]{natbib}
\usepackage[thmmarks]{ntheorem}
\usepackage{amsmath}
\usepackage{amssymb}
%\usepackage{amsthm} kollidiert mit ntheorem.sty
\usepackage{autonum}
\usepackage{bbm}
\usepackage{paralist}
\usepackage{enumitem}
\usepackage{color}
\usepackage{shadethm}
%neue Befehle
\newcommand{\EW}{\mathbb{E}}
\newcommand{\PM}{\mathbb{P}}
\newcommand{\om}{\omega}
\newcommand{\Om}{\Omega}
\newcommand{\al}{\alpha}
\newcommand{\AL}[1]{\mathcal{#1}}
\newcommand{\F}{\mathcal{F}}
\newcommand{\G}{\mathcal{G}}
\newcommand{\I}{\mathbbmss{1}}
\newcommand{\FI}{\mathbb{F}}
\newcommand{\N}{\mathbb{N}}
\theoremstyle{break}
\newtheorem{lem}{Lemma}
\newtheorem{defi}{Definition}
\newshadetheorem{satz}{Satz}
\newtheorem{koro}{Korollar}
{\theoremstyle{plain}
\theorembodyfont{\normalfont}
{
\theoremheaderfont{\itshape}
\theoremsymbol{\ensuremath{\square}}%
\newtheorem*{proof}{Beweis:}
}
\newtheorem{bem}{Bemerkung}
}
\title{Mathe-Zeugs}
\author{weiß nich mehr}
\begin{document}
\maketitle
\begin{lem}
\begin{enumerate}[label={(\alph*)}]
\item Konstante Zufallsvariablen sind Stoppzeiten.
\item Seien $(t_i)_{i\in\N}$ Stoppzeiten, dann sind auch $\sup_{i\in\N}t_i$, $\inf_{i\in\N}t_i$, $\limsup_{i\mapsto\infty} t_i$
und $\liminf_{i\mapsto\infty}t_i$ Stoppzeiten.
\end{enumerate}
\end{lem}
\begin{proof}
\begin{enumerate}[label={(\alph*)}]
\item Da konstante Zufallsvariablen bezüglich jeder $\sigma$-Algebra messbar sind, sind sie in jedem Fall Stoppzeiten.
\item Die Aussage gilt, denn
\begin{align}
\{\sup_{i\in\N}t_i \leq n \}&= \bigcap_{i\in\N}\{t_i\leq n\} \in\F_n\\
\{\inf_{i\in\N}t_i\leq n\} &= \bigcup_{i\in\N}\{t_i\leq n\} \in\F_n\\
\limsup_{i\mapsto\infty}t_i &= \inf_{i\in\N}\sup_{j\geq i}t_i\\
\liminf_{i\mapsto\infty}t_i &= \sup_{i\in\N}\inf_{j\geq i}t_i \\
\end{align}
\end{enumerate}
% wenn das hier nicht auskommentiert ist, erscheint das kästchen...
\end{proof}
\begin{lem}\label{lem:def:s}
Wir definieren eine $\N$-wertige Zufallsvariable
\begin{align}
s = \min(j\in \N \ :\ \EW[Y_{j+1}|\F_j]\leq Y_j). \label{def:s}
\end{align}
Dann ist $s$ eine Stoppzeit.
\end{lem}
\begin{proof}
Da die Zufallsvariablen $Y_n$ nach Voraussetzung $\F_n$-messbar sind, sind auch die bedingten Erwartungswerte
$\EW[Y_{n+1}|\F_n]$ $\F_n$-messbar und es gilt:
\begin{align}
\{s=n\}=\{\EW[Y_{n+1}|\F_n]\leq Y_n\} \cup \bigcup_{i=1}^{n-1}\{\EW[Y_{i+1}|\F_i] > Y_i\} \in \F_n
\end{align}
% Hier auch, auskommentiert kein kästchen, sonst schon...
\end{proof}
\end{document}
