Ableitung des Existenz- und Eindeutigkeitssatzes