Beweis zu 'reguläre Flächen sind 2D diffbare MF' verbessert

documents/GeoTopo/Kapitel2.tex

@@ -459,7 +459,11 @@ Differenzierbare Mannigfaltigkeiten der Klasse $C^\infty$ werden auch
 
 \begin{beweis}\leavevmode
 
-    \todo[inline]{Was ist $F_i$, was $F_j$? Was ist $U_i$, was $U_j$?}
+    $S \subseteq \mdr^3$ ist als reguläre Fläche eine 2-dimensionale Mannigfaltigkeit. 
+    Aus der Definition von regulären Flächen folgt direkt, dass Karten $(U_i, F_i)$ und
+    $(U_j \subseteq \mdr^2, F_j:\mdr^2 \rightarrow \mdr^3)$ von $S$ mit
+    $U_i \cap U_j \neq \emptyset$ existieren, wobei $F_i$ und $F_j$ nach 
+    Definition differenzierbare Abbildungen sind.
 
     \underline{z.Z.:} $F_j^{-1} \circ F_i$ ist ein Diffeomorphismus.
 

documents/GeoTopo/Makefile

@@ -6,7 +6,7 @@ make:
 	makeindex $(DOKUMENT)
 	pdflatex $(DOKUMENT).tex -interaction=batchmode -output-format=pdf 1>/dev/null # include index
 	pdflatex $(DOKUMENT).tex -interaction=batchmode -output-format=pdf 1>/dev/null # include symbol table
-	make clean # remove intermediate files like *.log and *.aux
+	#make clean # remove intermediate files like *.log and *.aux
 
 ebook:
 	latexml --dest=$(DOKUMENT).xml $(DOKUMENT).tex