package changepage eingebunden, Theoreme in neue Umgebungen eingebettet um indent zu erzeugen, Struktur der Einleitung aufgebrochen