\usepackage{color, calc}
\usepackage{pstcol}


\newcommand{\To}{\ensuremath{\Rightarrow}}
\newcommand{\ddt}{\ensuremath{\frac d {dt}}}
\newcommand{\ddx}{\ensuremath{\frac d {dx}}}

\newcommand{\vieh}{\ensuremath{\varphi}}
\newcommand{\ro}{\ensuremath{\varrho}}
%
\newcommand{\gdw}{\ensuremath{\leftrightarrow}}

\newcommand{\Gdw}{\ensuremath{\Leftrightarrow}}
%\newcommand{\qed}{\ensuremath{~~~_\square}}
\newcommand{\R} {\ensuremath{\mathbb{R}}}
\newcommand{\F} {\ensuremath{\mathbb{F}}}

\newcommand{\Q} {\ensuremath{\mathbb{Q}}}
\newcommand{\N} {\ensuremath{\mathbb{N}}}
\newcommand{\Z} {\ensuremath{\mathbb{Z}}}
\newcommand{\matr}[1]{\ensuremath{\begin{pmatrix} #1 \end{pmatrix}}}
\newcommand{\Toweil}[1] {\ensuremath{\stackrel{#1}{\Longrightarrow}}}
\newcommand{\toweil}[1] {\ensuremath{\stackrel{#1}{\longrightarrow}}}
\newcommand{\Gdwweil}[1] {\ensuremath{\stackrel{#1}{\Gdw}}}
\newcommand{\leqweil}[1] {\ensuremath{\stackrel{#1}{\leq}}}

\newcommand{\legendre}[2] {\ensuremath{\left(\frac{#1}{#2}\right)}}

\newcommand{\geqweil}[1] {\ensuremath{\stackrel{#1}{\geq}}}

\newcommand{\mapsot}{\ensuremath{\mapsfrom}}


\newcommand{\gleichweil}[1] {\ensuremath{\stackrel{{#1}}{=}}}
\newcommand{\C} {\ensuremath{\mathbb{C}}}
\newcommand{\K} {\ensuremath{\mathbb{K}}}
\newcommand{\bigcupdot}{\dot{\bigcup}} 
\newcommand{\cupdot}{\dot{\cup}} 

\newcommand{\strich}[1]{\ensuremath{\overline{#1}}}

\newcommand{\Acal}{\ensuremath{\mathcal{A}}}
\newcommand{\Bcal}{\ensuremath{\mathcal{B}}}
\newcommand{\Ccal}{\ensuremath{\mathcal{C}}}
\newcommand{\Dcal}{\ensuremath{\mathcal{D}}}
\newcommand{\Ecal}{\ensuremath{\mathcal{E}}}
\newcommand{\Fcal}{\ensuremath{\mathcal{F}}}
\newcommand{\Gcal}{\ensuremath{\mathcal{G}}}
\newcommand{\Hcal}{\ensuremath{\mathcal{H}}}
\newcommand{\Ical}{\ensuremath{\mathcal{I}}}
\newcommand{\Jcal}{\ensuremath{\mathcal{J}}}
\newcommand{\Kcal}{\ensuremath{\mathcal{K}}}
\newcommand{\Lcal}{\ensuremath{\mathcal{L}}}
\newcommand{\Mcal}{\ensuremath{\mathcal{M}}}
\newcommand{\Ncal}{\ensuremath{\mathcal{N}}}
\newcommand{\Ocal}{\ensuremath{\mathcal{O}}}
\newcommand{\Pcal}{\ensuremath{\mathcal{P}}}
\newcommand{\Qcal}{\ensuremath{\mathcal{Q}}}
\newcommand{\Rcal}{\ensuremath{\mathcal{R}}}
\newcommand{\Scal}{\ensuremath{\mathcal{S}}}

\newcommand{\Tcal}{\ensuremath{\mathcal{T}}}
\newcommand{\Ucal}{\ensuremath{\mathcal{U}}}
\newcommand{\Vcal}{\ensuremath{\mathcal{V}}}
\newcommand{\Wcal}{\ensuremath{\mathcal{W}}}
\newcommand{\Xcal}{\ensuremath{\mathcal{X}}}
\newcommand{\Ycal}{\ensuremath{\mathcal{Y}}}
\newcommand{\Zcal}{\ensuremath{\mathcal{Z}}}


\newcommand{\sa}{\ensuremath{\sigma-\text{Algebra }}}
\newcommand{\san}{\ensuremath{\sigma-\text{Algebren }}}

\newcommand{\Gal}{\ensuremath{\operatorname{Gal}}}
\newcommand{\TIME}{\ensuremath{\operatorname{TIME}}}



\newcommand{\rad}{\ensuremath{\operatorname{rad}}}


\newcommand{\einsin}{\ensuremath{1 \leqq i \leqq n}}
\newcommand{\TO}{\ensuremath{\Longrightarrow}}
\newcommand{\sieinsn}{\ensuremath{\sum_{i=1}^n}}
\newcommand{\kmn}{\ensuremath{K^{m \times n}}}
\newcommand{\veinsn} {\ensuremath{v_1,\ldots,v_n}}
\newcommand{\xeinsn} {\ensuremath{x_1,\ldots,x_n}}
\newcommand{\weinsm} {\ensuremath{w_1,\ldots,w_m}}
\newcommand{\amn} {\ensuremath{\matr { a_{11} & \ldots & a_{1n} \\ \vdots & \ddots & \vdots \\ a_{m1} & \ldots & a_{mn} }}}
\newcommand{\matrxn}{\ensuremath{\begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix}}}
\newcommand{\bi}{\ensuremath{\operatorname{Bi}}}
\newcommand{\lcm}{\ensuremath{\operatorname{lcm}}}
\newcommand{\lmc}{\ensuremath{\operatorname{lcm}}}

\newcommand{\Hom}{\ensuremath{\operatorname{Hom}}}
\newcommand{\End}{\ensuremath{\operatorname{End}}}
\newcommand{\Tr}{\ensuremath{\operatorname{Tr}}}
\newcommand{\Fix}{\ensuremath{\operatorname{Fix}}}

%\newcommand{\ker}{\ensuremath{\operatorname{Kern}}}



\newcommand{\sign}{\ensuremath{\operatorname{sign}}}
%\newcommand{\mod}{\ensuremath{\operatorname{~~mod~}}}

\newcommand{\Aut}{\ensuremath{\operatorname{Aut}}}
\newcommand{\spec}{\ensuremath{\operatorname{Spec}}}
\newcommand{\binomial}{\ensuremath{\operatorname{binomial}}}

\newcommand{\Var}{\ensuremath{\operatorname{Var}}}


\newcommand{\unif}{\ensuremath{\operatorname{unif}}}
\newcommand{\simga}{\ensuremath{\sigma}}
\newcommand{\Simga}{\ensuremath{\Sigma}}

\newcommand{\klin}{\ensuremath{\text{K-linear}}}
\newcommand{\ninn}{\ensuremath{{n \in \N}}}
\newcommand{\kon}{\ensuremath{\equiv}}
\newcommand{\inv}{\ensuremath{^{-1}}}

\newcommand{\normal}{\ensuremath{\vartriangleleft}}
\newcommand{\ideal}{\ensuremath{\vartriangleleft}}



\newcommand{\dasis}[2]{\ensuremath{\underbrace{#1}_{#2}}}

\newcommand{\varmatr}[2]{
\ensuremath{
\left( \begin {array}{#1}
#2
\end {array} \right)}
}

\newcommand {\Defalt} {\textbf{Definition:} \normalsize }

%\newcommand{\Def}[1] {\begin{description} \color{red}\item[Definition:]\color{black}#1 \end{description}} 

\newcommand{\rot}[1] {\color{red} #1 \color{black}}

\newcommand{\vip}[1]{\rot{#1}} 
%\newcommand{\Def}[1] {\begin{description}\item[Definition:]#1 \end{description}} 



%\newcommand{\Bew}[1] {\begin{description}\item[Beweis:]#1 \end{description} }
\newcommand{\ruck}[2] {\begin{description}\item[#1]#2 \end{description} }


\newcommand{\Bsp}[1] {\begin{description}\item[Beispiel:]#1 \end{description} }


\newcommand{\Bem}[1] {\begin{description}\item[Bemerkung:]#1 \end{description} }


\newcommand{\oT} {\ensuremath{\Leftarrow}}
\newcommand{\ot} {\ensuremath{\leftarrow}}

\newcommand{\widerspruch}{(Widerspruch)}

\newcommand{\teiltnicht} {\ensuremath{\nmid}}
\newcommand{\id} {\ensuremath{\operatorname{id}}}
\newcommand{\rg} {\ensuremath{\operatorname{rg}}}
\newcommand{\ord} {\ensuremath{\operatorname{Ord}}}
\newcommand{\pr} {\ensuremath{\operatorname{pr}}}
\newcommand{\inj} {\ensuremath{\operatorname{inj}}}

\newcommand{\kan} {\ensuremath{\operatorname{kan}}}
\newcommand{\Char} {\ensuremath{\operatorname{Char}}}

\newcommand{\kgv} {\ensuremath{\operatorname{kgV}}}

\newcommand{\Ord} {\ensuremath{\operatorname{Ord}}}

\newcommand{\re} {\ensuremath{\operatorname{Re}}}
\newcommand{\im} {\ensuremath{\operatorname{Im}}}

\newcommand{\limntounendlich} {\ensuremath{\lim_{n \to \infty}}}


\newcommand{\aus}{\ensuremath{\choose}}


\newtheorem{para}{�}[part]

\newcommand{\stern}{stern}


\newcommand{\diaglambda} {\ensuremath{\matr{\lambda_1 \\ & \ddots \\ && \lambda_n}}}

\newcommand{\BewTo}[1]{\ruck{"\To":}{#1}}
\newcommand{\BewoT}[1]{\ruck{"\oT":}{#1}}

\renewcommand{\subset}{\subseteq}
\renewcommand{\supset}{\supseteq}
\newcommand{\Bewsub}{\ensuremath{\underline{"\subset"}}}
\newcommand{\Bewsup}{\ensuremath{\underline{"\supset"}}}
\newcommand{\Annahme}{\underline{Annahme:} }
\newcommand{\Existenz}{\underline{Existenz:} }
\newcommand{\Zeige}{\underline{Zeige:} }
\newcommand{\Hinrichtung}{\underline{"\To":} }
\newcommand{\Ruckrichtung}{\underline{"OT"} }


\newcommand{\Eindeutigkeit}{\underline{Eindeutigkeit:} }

\newcommand{\Also}{\underline{Also:} }
%
%  \newenvironment{yellowbox}{
%  \fcolorbox{black}{yellow}{
%\parbox{\columnwidth - 8pt}{
%
%}
%
%{
%}}
%}

\definecolor{hellrot}{rgb}{.8,0,0}
\definecolor{blau}{rgb}{0,.4,1}


\newcommand{\tensor}{\otimes}
\newcommand{\Tensor}{\bigotimes}

\newcommand{\gelbbox}[1] { 
\fcolorbox{black}{yellow}{
\parbox{\columnwidth -  7pt}{#1}}

}

\newcommand{\farbbox}[2] { 
\fcolorbox{black}{#1}{
\parbox{\columnwidth - 7pt}{#2}}

}


\newcommand{\Def}[1]{\gelbbox{#1}}
\newcommand{\Bew}[1]{\farbbox{hellrot}{Beweis:\\#1}}




\newcommand{\NTIME}{\ensuremath{\operatorname{NTIME}}}

\newcommand{\Pol}{\ensuremath{\operatorname{P}}}
\newcommand{\NP}{\ensuremath{\operatorname{NP}}}
\newcommand{\NPC}{\ensuremath{\operatorname{NPC}}}
\newcommand{\FP}{\ensuremath{\operatorname{FP}}}
\newcommand{\E}{\ensuremath{\operatorname{E}}}
\newcommand{\EXP}{\ensuremath{\operatorname{EXP}}}
\newcommand{\NEXP}{\ensuremath{\operatorname{NEXP}}}
\newcommand{\NE}{\ensuremath{\operatorname{NE}}}

\newcommand{\Land}{\ensuremath{\bigwedge}}

%%
%% This is file `ntheorem.std',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% ntheorem.dtx  (with options: `standard')
%% 
%% IMPORTANT NOTICE:
%% 
%% For the copyright see the source file.
%% 
%% Any modified versions of this file must be renamed
%% with new filenames distinct from ntheorem.std.
%% 
%% For distribution of the original source see the terms
%% for copying and modification in the file ntheorem.dtx.
%% 
%% This generated file may be distributed as long as the
%% original source files, as listed above, are part of the
%% same distribution. (The sources need not necessarily be
%% in the same archive or directory.)
\def\filedate{2001/11/28}
\def\docdate{2001/01/13}
\def\fileversion{1.20 alpha}
\def\basename{ntheorem}
%% \CharacterTable
%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
%%   Digits        \0\1\2\3\4\5\6\7\8\9
%%   Exclamation   \!     Double quote  \"     Hash (number) \#
%%   Dollar        \$     Percent       \%     Ampersand     \&
%%   Acute accent  \'     Left paren    \(     Right paren   \)
%%   Asterisk      \*     Plus          \+     Comma         \,
%%   Minus         \-     Point         \.     Solidus       \/
%%   Colon         \:     Semicolon     \;     Less than     \<
%%   Equals        \=     Greater than  \>     Question mark \?
%%   Commercial at \@     Left bracket  \[     Backslash     \\
%%   Right bracket \]     Circumflex    \^     Underscore    \_
%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
%%   Right brace   \}     Tilde         \~}
\theoremnumbering{arabic}
%\theoremstyle{plain}
\theoremstyle{break}
\RequirePackage{latexsym}
%\theoremsymbol{\ensuremath{_\Box}}
\theoremsymbol{}
\theorembodyfont{\itshape}
\theoremheaderfont{\normalfont\bfseries}
\theoremseparator{}
\newtheorem{theorem}{Satz}
\newtheorem{Theorem}[theorem]{Satz}
\newtheorem{Satz}[theorem]{Satz}
\newtheorem{satz}[theorem]{Satz}
\newtheorem{Proposition}[theorem]{Satz}
\newtheorem{proposition}[theorem]{Satz}
\newtheorem{lemma}{Lemma}
\newtheorem{Lemma}[lemma]{Lemma}
\newtheorem{Korollar}[theorem]{Korollar}
\newtheorem{korollar}[theorem]{Korollar}
\newtheorem{Corollary}[theorem]{Korollar}
\newtheorem{corollary}[theorem]{Korollar}

\theorembodyfont{\upshape}
\newtheorem{example}{Beispiel}
\newtheorem{Example}[example]{Beispiel}
\newtheorem{Beispiel}[example]{Beispiel}
\newtheorem{beispiel}[example]{Beispiel}
\newtheorem{remark}{Bemerkung}
\newtheorem{Remark}[remark]{Remark}
\newtheorem{Bemerkung}[remark]{Bemerkung}
\newtheorem{bemerkung}[remark]{Bemerkung}
\newtheorem{definition}{Definition}
\newtheorem{Definition}[definition]{Definition}

\theoremstyle{nonumberplain}
\theoremheaderfont{\scshape}
\theorembodyfont{\normalfont}
\theoremsymbol{\ensuremath{_\blacksquare}}
\RequirePackage{amssymb}
\newtheorem{proof}{Beweis}
\newtheorem{Proof}{Beweis}
\newtheorem{Beweis}{Beweis}
\newtheorem{beweis}{Beweis}
\qedsymbol{\ensuremath{_\blacksquare}}
\theoremclass{LaTeX}
\endinput



%%
%% End of file `ntheorem.std'.


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "main"
%%% End: 



