\documentclass[12pt,a4paper]{book}


\renewcommand{\thepart}{\Alph{part}}
\setcounter{tocdepth}{0} 
\usepackage{minitoc}
\renewcommand{\mtctitle}{Inhalt}
\usepackage[active]{srcltx}%Alt-X server-start
\usepackage{showkeys}
\usepackage{young}
\usepackage{makeidx}
\usepackage{newlfont}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsxtra}
\usepackage{amsfonts}
      %\usepackage{txfonts}%zerst"ort abgeschlossene Teilmenge
\usepackage{amscd}
\usepackage{mathrsfs}
\usepackage{stmaryrd}

\usepackage[ngerman]{babel}
\usepackage[hypertex,hyperindex]{hyperref}
\usepackage{verbatim}
\usepackage{changebar}
\usepackage{ae}
\usepackage{xr}
\changebarsep85pt
\usepackage{graphicx}
\renewcommand{\floatpagefraction}{0.2}
\renewcommand{\figurename}{ }


% %--------------------------------------------------
%  WERDEN DIE FOLGENDEN DREI ZEILEN NICHT AUSKOMMENTIERT,
%  SO WERDEN BILDSEITEN NICHT MITGEZAEHLT. FUER DRUCKVORLAGEN
%  TAUGT DAS NICHT, DA DIE SEITEN MIT GERADEN NUMMERN
%  ANDERS GEDRUCKT WERDEN ALS DIE SEITEN MIT UNGERADEN NUMMERN.
%   \usepackage{fancyhdr}
%   \pagestyle{fancy}
%   \fancyfoot[C]{\iffloatpage{\addtocounter{page}{-1}}{\thepage}}
% %--------------------------------------------------


\input{xy}
\xyoption{all}
\frenchspacing
\usepackage{amsthm}
\usepackage{epsfig}
\usepackage{alltt}
\input{newtheorems}
\input{newcommands}
 \renewcommand{\eref}[2]{\cite{#2} \ref{#1}}
 \renewcommand{\rref}[2]{\cite{#2} \ref{#1}}

\renewenvironment{comment}{\begin{changebar}}{\end{changebar}}

\usepackage[T1]{fontenc}
\newcommand{\changefont}[3]{
\fontfamily{#1} \fontseries{#2} \fontshape{#3} \selectfont}
\renewcommand{\familydefault}{ptm}



\makeindex
\begin{document}
zeigt, da"s je zwei Kongruenzebenen
   isomorph sind und damit isomorph zu $(\DR^2, \DR^2\ltimes \op{O}(2))$.
\end{document}