Bis zum Beweis des Theorems geTeXt